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 11.02 zł
Jak kupować
Pomoc
Dostawa
InPost 13.99 zł
Poczta Polska 18.99 zł
Paczkomat 13.99 zł
DPD 25.99 zł
ORLEN Paczka 11.02 zł
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
Doradca ds. zakupów
Jesteśmy tu dla Ciebie!
(32) 444 93 66
Moje konto
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
▸
Pusty :-(
0
Automated Technology for Verification and Analysis
Język
Angielski
Angielski
Książka
Miękka
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec...
Cały opis
Kod Libristo: 18124989
?
154 b
154 b
262.26
zł
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-16 dni
common.delivery_to
common.delivery_to
30 dni na zwrot towaru
Mogłoby Cię także zainteresować
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
Informacje o książce
Pełna nazwa
Automated Technology for Verification and Analysis
Autor
Deepak D'Souza, K. Narayan Kumar
Język
Angielski
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
Liczba stron
482
EAN
9783319681665
ISBN
3319681664
Kod Libristo
18124989
Wydawnictwo
Springer International Publishing AG
Waga
7548
Wymiary
155 x 235 x 30
