Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
GLS 54 Kč
Kurýr GLS 64 Kč
Zásilkovna 44 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 64 Kč
Zásilkovna 44 Kč
PPL 99 Kč
Doprava zdarma se Zásilkovnou nad 1 299 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
Roadmap for Formal Property Verification
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
Integrating formal property verification (FPV) into an existing design process raises several intere...
Celý popis
Libristo kód: 01975380
?
304 b
304 b
3 039
Kč
Skladem u dodavatele v malém množství
Odesíláme za 10-15 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
1 008
Kč
Integrating formal property verification (FPV) into an existing design process raises several interesting questions. This book develops the answers to these questions and fits them into a roadmap for formal property verification a roadmap that shows how to glue FPV technology into the traditional validation flow. The book explores the key issues in this powerful technology through simple examples that mostly require no background on formal methods.
Informace o knize
Plný název
Roadmap for Formal Property Verification
Autor
Pallab Dasgupta
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
2010
Počet stran
252
EAN
9789048171859
ISBN
9048171857
Libristo kód
01975380
Nakladatelství
Springer
Váha
434
Rozměry
160 x 240 x 15
