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
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali...
Celý popis
Libristo kód: 21163586
?
509 b
509 b
5 094
Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů
30 dní na vrácení zboží
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 - Brožovaná
Datum vydání
2019
Počet stran
255
EAN
9783319892146
Libristo kód
21163586
Nakladatelství
Springer International Publishing AG
Váha
415
Rozměry
155 x 235 x 15
