Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - Grāmatas - Springer International Publishing AG - 9783319728131 - 2018. gada 31. janvāris
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

Nils Przigoda
Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers 1st ed. 2018 edition

Cena
€ 152,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 6. - 14. aug.
Saņemiet paziņojumus par jauniem Nils Przigoda izdevumiem

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

Not rated yet

Pieejams arī kā:

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.

255 pages, 40 Tables, color; 5 Illustrations, color; 11 Illustrations, black and white; XII, 255 p.

Mediji Grāmatas     Hardcover Book   (Grāmata ar cieto muguriņu un vāku)
Izlaists 2018. gada 31. janvāris
ISBN13 9783319728131
Izdevēji Springer International Publishing AG
Lapas 255
Izmēri 246 × 163 × 20 mm   ·   528 g
Valoda Vācu  

Vairāk no tā paša izdevēja

Skatīt visus Nils Przigoda ( piem., Hardcover Book un Paperback Book )