Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 74 Kč
Zásilkovna 49 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Nákupní rádce
Jsme tu pro vás!
571 999 090
Můj účet
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod.
Založit účet zdarma
▸
Prázdný :-(
0
Automated Technology for Verification and Analysis
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec...
Celý popis
Libristo kód: 18124989
?
154 b
154 b
1 540
Kč
včetně DPH
Skladem u dodavatele v malém množství
Odesíláme za 13-16 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
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.
Informace o knize
Plný název
Automated Technology for Verification and Analysis
Autor
Deepak D'Souza, K. Narayan Kumar
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2017
Počet stran
482
EAN
9783319681665
ISBN
3319681664
Libristo kód
18124989
Nakladatelství
Springer International Publishing AG
Váha
7548
Rozměry
155 x 235 x 30
