Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Vše od
Springer International Publishing AG
ISBN: 9783319892146
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...
3 819 Kč
- 1 - 2 ks
- 3 819 Kč
- 3 - 10 ks
- 3 781 Kč
- 11 a více ks
- 3 744 Kč
Naše cena 3 819 Kč je o 6 % nižší než
doporučená cena výrobce 4 062 Kč.
Předpoklad doručení do 30. května *
* Termín expedice je odhadovaný a může se mírně upravit podle termínu dodání od našeho dodavatele. Pokud by došlo ke změně, vždy vás budeme včas informovat.
Nepřehlédněte od Springer International Publishing AG ↓
3 819 Kč
Více o produktu ↓
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.
- Výrobce
- Springer International Publishing AG
- Jazyk
- Switzerland
- Autor
- Przigoda, Nils;Wille, Robert;Przigoda, Judith;Drechsler, Rolf
- Rozměry
- 235 x 155
- Rok vydání
- 2019
- Počet stran
- 255
- Obsah
- Paperback / softback
- Počet stran
- 255 pages, 5 Illustrations, color; 11 Illustrations, black and white; XII, 255 p. 16 illus., 5 illus
Zanechte své hodnocení
Budeme rádi, když se podělíte o svou zkušenost s Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers a pomůžete tak ostatním zákazníkům při výběru.
Navíc každý měsíc losujeme jednoho z těch, kteří nám zanechali recenzi, a obdarujeme ho kuponem na nákup v hodnotě 500 Kč. Možná právě Vy budete tím šťastným – držíme palce!
