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

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

Price
HK$ 1,216
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 7 - 13

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     Paperback Book   (Book with soft cover and glued back)
Released June 6, 2019
ISBN13 9783319892146
Publishers Springer International Publishing AG
Pages 255
Dimensions 150 × 220 × 10 mm   ·   381 g
Language German  

Mere med samme udgiver

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