Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 11.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Bernd Finkbeiner
Kod Libristo: 38504817
Wydawnictwo Springer Nature Switzerland AG, styczeń 2022
This book constitutes the proceedings of the 23rd International Conference on Verification, Model Ch... Cały opis
? points 224 b
402.09 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Dürüstlük Cagi / Książka Miękka
common.buy 87.29 zł
Zur Legis Actio Sacramento in Rem: Habilitationsschrift Philipp Lotmar / Książka Miękka
common.buy 83.90 zł
Hemingi Chartularium Ecclesiae Wigorniensis (1723) Hemingus / Książka Twarda
common.buy 223.38 zł
Jak se brání psycholog Pauline Dolezal / Książka Twarda
common.buy 23.82 zł
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat Uwe Leonardy / Książka Twarda
common.buy 302.77 zł
COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB / Książka Miękka
common.buy 350.63 zł
Handbuch der podologischen Behandlungsmethoden Sybille Feindt / Książka Miękka
common.buy 163.81 zł
Ojo de Halcon: Seis dias en la vida de ... FRACTION / Książka Miękka
common.buy 69.93 zł
Lo que debe saber todo buen republicano Anónimo / Książka Miękka
common.buy 68.70 zł
Die Fabrikation Der Feuerfesten Steine Friedrich Wernicke / Książka Miękka
common.buy 313.56 zł
Ein heimlicher Quellenkanon? Neue Perspektiven auf Dokumente der Geschichte Hannah Ahlheim / Książka Miękka
common.buy 124.98 zł
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts Johannes Myssok / Książka Twarda
common.buy 261.38 zł
Der tolle Bomberg, 1 DVD Rolf Thiele / Wideo DVD
common.buy 93.04 zł
Le préfet et les collectivités Sut / Książka Miękka
common.buy 350.84 zł
TOP
Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski / Książka Miękka
common.buy 27.82 zł

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022.The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Verification, Model Checking, and Abstract Interpretation
Autor Bernd Finkbeiner, Thomas Wies
Język Angielski
Oprawa Książka - Miękka
Data wydania 2022
Liczba stron 520
EAN 9783030945824
Kod Libristo 38504817
Wydawnictwo Springer Nature Switzerland AG
Waga 807
Wymiary 155 x 235 x 29

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka)
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Richard M. Nixon and European Integration Joseph M. Siracusa / Książka Twarda
common.buy 737.22 zł
Safeguarding Educational Integrity Through Deepfake Face Detection Ahmed J. Obaid / Książka Twarda
common.buy 755.81 zł
The Doctoral Researcher's Toolkit Praveen B Malla / Książka Twarda
common.buy 1 059.82 zł
Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor Lownie / Książka Miękka
common.buy 73.63 zł
Mrs Boots of Pelham Street (Mrs Boots, Book 2) Deborah Carr / E-book Adobe ePub DRM
common.buy 42.82 zł
Zapowiedź
100 Things to See in the National Parks Payne / Książka Twarda
common.buy 51.24 zł
Amok Sebastian Fitzek / Książka Miękka
common.buy 43.74 zł
Joy of Basketball Andrew Kuo / Książka Twarda
common.buy 158.26 zł
Neufs Vies Du Chat Montezuma Michael Morpurgo / Książka Miękka
common.buy 36.25 zł
Nuclear Power's Global Expansion: Weighing Its Costs and Risks Henry D Sokolski / Książka Miękka
common.buy 107.42 zł
Zombies vs. Robots 2 Joe Cautilli / Książka Miękka
common.buy 68.29 zł
Beyond A Small Town: The Unofficial Mayor of Unionville Peter H Hassett / Książka Miękka
common.buy 29.36 zł
STORY OF THE 2ND WW Henry Steele Commager / Książka Miękka
common.buy 74.76 zł
Cads, Princes & Best Friends Danielle Coulanges / Książka Twarda
common.buy 139.67 zł
Parameters in Old French Syntax: Infinitival Complements E. H. Pearce / Książka Twarda
common.buy 669.43 zł
To Do and to Endure Jeanne R. Beck / Książka Twarda
common.buy 137.72 zł
Time to Go on Price Summers / Książka Miękka
common.buy 46.10 zł
WHEN THE LORD REMEMBERS HIS OW Malcolm Davis / Książka Miękka
common.buy 50.21 zł
The Origins of Popular Superstitions and Customs T. Sharper Knowlson / Książka Twarda
common.buy 152.92 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?