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 64 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č
GLS 54 Kč
Kurýr GLS 64 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
Computer Aided Verification
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided...
Celý popis
Libristo kód: 05274597
?
168 b
168 b
1 681
Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
/
Brožovaná
1 004
Kč
This book constitutes the refereed proceedings of the 8th International Conference on Computer Aided Verification, CAV '96, held in New Brunswick, NJ, USA, in July/August 1996 as part of the FLoC '96 federated conference.The volume presents 32 revised full research contributions selected from a total of 93 submissions; also included are 20 carefully selected descriptions of tools and case studies. The set of papers reports the state-of-the-art of the theory and practice of computer assisted formal analysis methods for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms and techniques that are needed for their implementation.
Informace o knize
Plný název
Computer Aided Verification
Autor
Rajeev Alur, Thomas Henzinger
Jazyk
Angličtina
Angličtina
Vazba
Kniha - Brožovaná
Datum vydání
1999
Počet stran
479
EAN
9783540614746
ISBN
3540614745
Libristo kód
05274597
Nakladatelství
Springer, Berlin
Váha
630
Rozměry
156 x 234 x 25
