Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Name: Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Brand: Springer International Publishing AG
SKU: 21163586
Price: 61242 HUF
Availability: InStock
Author: Nils Przigoda
ISBN: 9783319892146

Language

English

Book Paperback

Libristo code: 21163586

Publishers Springer International Publishing AG, June 2019

This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic vali... Full description

Libristo code: 21163586

406 b

61 242 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Carneval in Venedig, Italien (Puzzle) Rainer Grosskopf

Game

12 450 Ft

Polska na przestrzeni wieków Samsonowicz Henryk

Paperback

18 366 Ft

Datenbanksysteme und bioinformatische Werkzeuge zur Optimierung biotechnologischer Prozesse mit Pilzen Rainer Krull

Paperback

13 554 Ft

città bianca. L'artbook del Regno Nascosto di Tolkien Cristiano Marchesi

Board book

32 025 Ft

Methoden und strukturierte Ansätze für den Innovationsprozess Stefan Garding

Paperback

6 820 Ft

THE RISING OF THE HERO SHIELD 16 KYU

Paperback

4 121 Ft

Teatro. Promoción RESAD. 2019 LAURA J. GARCIA

Audio CD

5 311 Ft

Le Monde Du Theatre- Edition 2011 Nicole Leclercq

Paperback

26 757 Ft

Deux et deux font cinq oeuvres anthumes Alphonse Allais

Paperback

6 444 Ft

Autodesk Inventor 2013 - Einsteiger-Tutorial Christian Schlieder

Paperback

9 947 Ft

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. Additionally, the design flow described is applied to a broad variety of validation and verification tasks. The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.