Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 Kč
Jak nakupovat
Pomoc
Doručení
PPL Parcel Shop 54 Kč
Balík do ruky 74 Kč
Balíkovna 49 Kč
PPL 99 Kč
Zásilkovna 54 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
Model Checking
Jazyk
Angličtina
Angličtina
Kniha
Pevná
An expanded and updated edition of a comprehensive presentation of the theory and practice of model...
Libristo kód: 19285025
?
249 b
249 b
2 485
Kč
50 % šance
Prohledáme celý svět
Kdy knihu dostanu?
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
325
Kč
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
Informace o knize
Plný název
Model Checking
Autor
Clarke, Edmund M., Jr. (Carnegie Mellon University), Orna (Technion) Grumberg, Daniel (Oxford University) Kroening, Doron (Bar Ilan University) Peled,
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Pevná
Datum vydání
2018
Počet stran
424
EAN
9780262038836
ISBN
9780262038836
Libristo kód
19285025
Nakladatelství
MIT Press Ltd
Váha
820
Rozměry
187 x 236 x 25
Kategorie
