Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

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

Best Price (Coupon Required):
Buy Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers for $116.10 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $129.00 - $129.00
BEST PRICE

Single Product Purchase

$116.10
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$129.00 $129.00

10% OFF
This deals requires coupon
$116.10
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783319728131
Condition
New
Product 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. 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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Advanced Robust and Nonparametric Methods in Efficiency Analysis

Advanced Robust and Nonparametric Methods in Efficiency Analysis

$169.99
Frondizi and the Politics of Developmentalism in Argentina, 195562

Frondizi and the Politics of Developmentalism in Argentina, 195562

$69.99
Handbuch Arbeitgeber- und Wirtschaftsverbnde in Deutschland

Handbuch Arbeitgeber- und Wirtschaftsverbnde in Deutschland

$109.00
Hybrid Systems Biology

Hybrid Systems Biology

$44.99
Kinderlosigkeit im Alter  (k)ein Thema?!

Kinderlosigkeit im Alter (k)ein Thema?!

$54.99
Fifth International Conference on the Spectroscopy of Biological Molecules

Fifth International Conference on the Spectroscopy of Biological Molecules

$219.99
Energieeinsparverordnung

Energieeinsparverordnung

$39.99
If You Lived: If You Lived During the Civil War

If You Lived: If You Lived During the Civil War

$7.49
Pioniere der Informatik

Pioniere der Informatik

$29.99
Toleranzen und Lehren

Toleranzen und Lehren

$59.99
Tobacco Regulation, Economics, and Public Health, Volume II

Tobacco Regulation, Economics, and Public Health, Volume II

$109.99
Hot Cracking Phenomena in Welds III

Hot Cracking Phenomena in Welds III

$169.99
A Paraconsistent Decision-Making Method

A Paraconsistent Decision-Making Method

$109.99
Guided Reading Level R Pack 1

Guided Reading Level R Pack 1

$79.00
Advances in Nonradiative Processes in Solids

Advances in Nonradiative Processes in Solids

$219.99
Contending With Nationalism and Communism

Contending With Nationalism and Communism

$54.99
Emerging Technologies in Computer Engineering: Microservices in Big Data Analytics

Emerging Technologies in Computer Engineering: Microservices in Big Data Analytics

$54.99
Analysis, Probability, Applications, and Computation

Analysis, Probability, Applications, and Computation

$109.99
Work-Life Matters

Work-Life Matters

$29.99
Das Prinzip Nation in modernen Gesellschaften

Das Prinzip Nation in modernen Gesellschaften

$69.95
Intelligent Systems Design and Applications

Intelligent Systems Design and Applications

$219.00
Fundamental Aspects of Asymptotic Safety in Quantum Gravity

Fundamental Aspects of Asymptotic Safety in Quantum Gravity

$109.99
Optical Fiber Sensor Technology

Optical Fiber Sensor Technology

$169.00
The Economics of the Oil Crisis

The Economics of the Oil Crisis

$14.99
Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999

Freiwilliges Engagement in Deutschland. Freiwilligensurvey 1999

$69.99
Phonics Chapter Book - Level 2: What Talent!

Phonics Chapter Book - Level 2: What Talent!

$6.74
Die Wechselwirkung zwischen Zahlenrechnen und Zahlentheorie bei C. F. Gau

Die Wechselwirkung zwischen Zahlenrechnen und Zahlentheorie bei C. F. Gau

$59.99
Selected Chinese Cases on the UN Sales Convention (CISG) Vol. 2

Selected Chinese Cases on the UN Sales Convention (CISG) Vol. 2

$169.99
Uncertainty in Facility Location Problems

Uncertainty in Facility Location Problems

$199.99
Elternschaft und Wohlbefinden

Elternschaft und Wohlbefinden

$34.99
Mobility and the Hotel in Modern Literature

Mobility and the Hotel in Modern Literature

$84.99
Hepatology

Hepatology

$109.99
Lehrbuch der Bergwirtschaft

Lehrbuch der Bergwirtschaft

$69.95
Adhesion Protein Protocols

Adhesion Protein Protocols

$79.99
Animal Farm by George Orwell

Animal Farm by George Orwell

$10.99
Reconfiguring Modernism

Reconfiguring Modernism

$109.99
Kompendium ffentliches Wirtschaftsrecht

Kompendium ffentliches Wirtschaftsrecht

$29.99
Advances in Lightweight Materials and Structures

Advances in Lightweight Materials and Structures

$299.00
Thermodynamic Analysis for Industrial Refrigeration Systems

Thermodynamic Analysis for Industrial Refrigeration Systems

$49.99
Research and Management Practices for Conservation of the Persian Leopard in Iran

Research and Management Practices for Conservation of the Persian Leopard in Iran

$109.99
previous
next