We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£108.01
Springer UML/OCL Models Validation & Verification - Springer
Price data last checked 67 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 £108
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 24 days · 24 data points (no recent data)
Price Distribution
Price distribution over 24 days • 1 price levels
Price Analysis
Most common price: £108 (24 days, 100.0%)
Price range: £108 - £108
Price levels: 1 different prices over 24 days
Description
Key Features
Covers automated validation and verification techniques for UML/OCL models using satisfiability solvers.
Describes design flow methods adaptable to any automatic reasoning engine beyond satisfiability solvers.
Applies validation and verification approaches to a broad variety of tasks across hardware and software systems.
Addresses non-functional properties such as timing constraints within the validation framework.
Provides comprehensive discussion of UML/OCL methods and practical design flow implementation.
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
System Specification & Design Languages - FDL'02 Best Papers
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Languages for System Specification - UML, SystemC, Verilog
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
PEARSON EDUCATION
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
Wiley
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