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
Kniha
Pevná
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali...
Celý popis
Libristo kód: 18630043
?
509 b
509 b
5 094
Kč
Skladem u dodavatele v malém množství
Odesíláme za 14-18 dnů
30 dní na vrácení zboží
Mohlo by vás také zajímat
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
Kniha - Pevná
Datum vydání
2018
Počet stran
255
EAN
9783319728131
ISBN
331972813X
Libristo kód
18630043
Nakladatelství
Springer International Publishing AG
Váha
672
Rozměry
155 x 235 x 21
