We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£107.98
Springer - Automated Validation of UML/OCL Models Book
Price data last checked 38 day(s) ago - refreshing...
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£108 today · previous high £108 · all-time low £107
NEW HERE?
Amazon shows you one price. We show you all of them.
Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.
WHAT'S ON THIS PAGE
when this has been cheap or pricey
where the price is heading next
all-time high & low, recent range
name your number, we'll email you
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 53 days • 53 data points (No recent data available)
Price Distribution
Price distribution over 53 days • 2 price levels
Price Analysis
Most common price: £107 (43 days, 81.1%)
Price range: £107 - £108
Price levels: 2 different prices over 53 days
Description
Key Features
Covers comprehensive UML/OCL methods and design flows for systematic hardware and software validation.
Explains how to use satisfiability solvers for the automatic verification of complex systems.
Provides guidance on adapting methods for use with various other automatic reasoning engines.
Applies design flow techniques to a broad range of different validation and verification tasks.
Includes information on handling non-functional properties like timing constraints within the workflow.
Product Specifications
- Brand
- Springer
- Format
- hardcover
- ASIN
- 331972813X
- Domain
- Amazon UK
- Release Date
- 31 January 2018
- Listed Since
- 16 November 2017
Barcode
No barcode data available
Similar Products You Might Like
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Springer
UML 2 Semantics and Applications
Wiley
Secure Systems Development with UML
Springer
Springer System Specification & Design Languages - FDL'02
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Springer Languages for System Specification - UML & SystemC
Springer
Text Book on Software Engineering Tools and Practices
LAP Lambert Academic Publishing
Executable UML: A Foundation for Model-Driven Architecture
Software Engineering with UML
CRC Press
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Springer
Software Engineering with UML
CRC Press
Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings: 9276 (Lecture Notes in Computer Science, 9276)
Springer
Generative Analysis: The Power of Generative AI for Object-Oriented Software Engineering with UML
Addison Wesley
Diagrammes de collaboration UML: Génération de séquences de test : implémentation et évaluation (Omn.Pres.Franc.)
OmniScriptum
Formal Methods for Industrial Critical Systems: A Survey of Applications
John Wiley & Sons Inc
Conceptual Modeling of Information Systems
Springer
Object Modeling with the OCL: The Rationale behind the Object Constraint Language: 2263 (Lecture Notes in Computer Science, 2263)
Springer
UML A Complete Guide
5starcooks
Model Checking (Cyber Physical Systems Series)
MIT Press
Systems Analysis and Design: An Object-Oriented Approach with UML
Wiley
Business Standard Compliance and Requirements Validation Using Goal Models (Services and Business Process Reengineering)
Springer
Advanced Object-Oriented Analysis & Design Using UML: 12 (SIGS Reference Library, Series Number 12)
Cambridge University Press