phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł
phone Kontakt phoneJak kupować

Verification, Model Checking, and Abstract Interpretation

Język AngielskiAngielski
Książka Miękka
Książka Verification, Model Checking, and Abstract Interpretation Ahmed Bouajjani
Kod Libristo: 15560990
Wydawnictwo Springer International Publishing AG, styczeń 2017
This book constitutes the refereed proceedings of the 18th International Conference on Verification,... Cały opis
? points 154 b
262.48 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni
Polska common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Peppa Pig: Hide and Peek Peppa Pig / Leporelo
common.buy 33.40 zł
Herrliche Zeiten im Spessart Kurt Hoffmann / Blu-ray
common.buy 87.12 zł
Oracle WebLogic Server 12c Administration I Exam 1Z0-133 Gustavo Garnica / Miękka
common.buy 275.98 zł
Red Earth Joel Canfield / Miękka
common.buy 92.52 zł
Satires Contre Les Astronomes MERCIER-L-S / Miękka
common.buy 62.41 zł
Adventures of Hugh Jorgan Rock Harding / Miękka
common.buy 48.61 zł
Lehrer sein! Johannes Baumann / Miękka
common.buy 96.12 zł

This book constitutes the refereed proceedings of the 18th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2017, held in Paris, France, in January 2017. The 27 full papers together with 3 invited keynotes presented were carefully reviewed and selected from 60 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.

Informacje o książce

Pełna nazwa Verification, Model Checking, and Abstract Interpretation
Autor Ahmed Bouajjani, David Monniaux
Język Angielski
Oprawa Książka - Miękka
Data wydania 2017
Liczba stron 560
EAN 9783319522333
ISBN 3319522337
Kod Libristo 15560990
Wydawnictwo Springer International Publishing AG
Waga 8657
Wymiary 155 x 235 x 31

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Urządzenia sieciowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
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

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