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
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Jazyk
Angličtina
Angličtina
E-kniha
Adobe ePub
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali...
Celý popis
Libristo kód: 41044781
?
431 b
431 b
4 313
Kč
Skladem
Ihned ke stažení
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.
Informace o knize
Plný název
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Jazyk
Angličtina
Angličtina
Vazba
E-kniha - Adobe ePub
Datum vydání
2018
EAN
9783319728148
Libristo kód
41044781
Nakladatelství
Springer
