[email protected]
24 órán belül válaszolunk
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
[email protected]
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
Automated Technology for Verification and Analysis
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Tec...
Teljes leírás
Libristo kód: 18124989
?
154 b
154 b
24 218
Ft
Beszállítói készleten alacsony példányszámban
Küldés 13-16 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
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.
Információ a könyvről
Teljes megnevezés
Automated Technology for Verification and Analysis
Szerző
Deepak D'Souza, K. Narayan Kumar
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2017
Oldalszám
482
EAN
9783319681665
ISBN
3319681664
Libristo kód
18124989
Súly
7548
Méretek
155 x 235 x 30
