Automated Validation & Verification of UML / OCL Models Using Satisfiability Solvers - Nils Przigoda - Books - Springer International Publishing AG - 9783319728131 - January 31, 2018
In case cover and title do not match, the title is correct

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

Price
HK$ 1,243
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 6 - 10

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Also available as:

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.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released January 31, 2018
ISBN13 9783319728131
Publishers Springer International Publishing AG
Pages 255
Dimensions 150 × 220 × 20 mm   ·   585 g
Language German  

Mere med samme udgiver

See all of Nils Przigoda ( e.g. Hardcover Book and Paperback Book )