Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - Knjige - Springer International Publishing AG - 9783319728131 - 31. januarja 2018
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 143,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 1. - 9. okt
Prejemajte obvestila o novih izdajah izvajalca Nils Przigoda

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

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.

Medij Knjige     Hardcover Book   (Knjiga s trdim hrbtom in platnicami)
Izdano 31. januarja 2018
ISBN13 9783319728131
Založniki Springer International Publishing AG
Strani 255
Dimenzije 246 × 163 × 20 mm   ·   528 g
Jezik Nemščina  

Več od istega **izdajatelja**

Ogled vseh Nils Przigoda