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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Verification, Model Checking, and Abstract Interpretation

27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Yu-Fang Chen
Kod Libristo: 50123032
Wydawnictwo Springer, Berlin, marzec 2026
This book constitutes the proceedings of the 27th International Conference on Verification, Model Ch... Cały opis
? points 185 b Nowość Nowość
324.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Die drei ??? Kids, Das außerirdische Buch Ulf Blanck / Książka Twarda
common.buy 47.27 zł
Le carnet de Gabriel - Petits carreaux, 96p, A5 - Graffiti / Kalendarz/Pamiętnik Pamiętnik
common.buy 45.96 zł
Ce que le corps révèle vraiment de vous Claudine Biland Książka Miękka
common.buy 127.65 zł

This book constitutes the proceedings of the 27th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2026, which took place in Rennes, France, during January 12-13, 2026.

The 18 full papers presented in the proceedings were carefully reviewed and selected from 54 submissions. They deal with formal verification model checking, abstract interpretation, fostering interaction, cross-fertilization, and advancement of hybrid methods that combine these and related approaches.

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 Yu-Fang Chen, Thomas Philip Jensen, Ondrej Lengál
Język Angielski
Oprawa Książka - Miękka
Data wydania 2026
Liczba stron 434
EAN 9783032156990
Kod Libristo 50123032
Wydawnictwo Springer, Berlin
Waga 651
Wymiary 155 x 235

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
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ć

Hundred Decker Rocket SMITH MIKE / Książka Miękka
common.buy 41.44 zł
Porcelain and Pottery Shoes Anne Everest Wojtkowski / Książka Twarda
common.buy 161.15 zł
Desolation Sound Heather Harbord / Książka Miękka
common.buy 117.99 zł
School of Udhra Nathaniel Mackey / Książka Miękka
common.buy 54.41 zł
Visualization Analysis and Design Tamara Munzner / Książka Twarda
common.buy 421.59 zł
World Encyclopedia Of Fish & Shellfish And Other Aquatic Creatures Derek Hall / Książka Twarda
common.buy 90.22 zł
The Random Universe JAFFE ANDREW H / Książka Twarda
common.buy 106.02 zł
Vinyl NYC Hattie Lindert / Książka Twarda
common.buy 142.23 zł
Voiceless SABITH MOHAMMED / Książka Miękka
common.buy 54.21 zł
The Purposeful Argument Patricia Bostian / Książka Miękka
common.buy 540.60 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?