Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Usually dispatched within 3 - 5 business days.

In Stock (184)

£ 155.99

Description

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.

Book Details
EAN:
9783319728131
Binding:
Hardback
Dimensions(mm):
235 x 155
Publication Date:
2018-01-31
Publication Country:
Switzerland