We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£109.13
Springer UML/OCL Models Validation & Verification - Springer
Price data checked 2 days ago
We'll watch every seller, every day. One email when your price arrives.
This is the most expensive it has ever been. Walk away.
£109 today · previous high £109 · 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 89 days · 89 data points
Price Distribution
Price distribution over 89 days • 3 price levels
Price Analysis
Most common price: £108 (63 days, 70.8%)
Price range: £107 - £109
Price levels: 3 different prices over 89 days
Description
Key Features
Comprehensive design flow for automatic validation and verification of hardware and software systems using UML/OCL methods.
Satisfiability solver integration techniques with applicability to alternative automatic reasoning engines and verification approaches.
Practical coverage of non-functional properties including timing constraints and their handling within the validation framework.
Broad variety of validation and verification tasks addressed throughout the Springer publication for diverse application scenarios.
Formal methods foundation suitable for computer scientists, architects, and engineers working on complex system design and model checking.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3319892142
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 06 June 2019
- Listed Since
- 04 January 2019
Barcode
No barcode data available
Similar Products You Might Like
Design Automation for Field-coupled Nanotechnologies
Springer
Smart Sensors and Systems: Technology Advancement and Application Demonstrations
Springer
Smart Sensors and Systems: Technology Advancement and Application Demonstrations
Springer
Springer Hybrid ADCs and Smart Sensors for IoT Design Book
Springer
Advanced Circuits for Emerging Technologies
Wiley
Testing of Interposer-Based 2.5D Integrated Circuits
Springer
Counterfeit Integrated Circuits: Detection and Avoidance
Springer
Mitigating Process Variability and Soft Errors at Circuit-Level for FinFETs
Springer
Test Generation of Crosstalk Delay Faults in VLSI Circuits
Springer
Functional Design Errors in Digital Circuits: Diagnosis Correction and Repair: 32 (Lecture Notes in Electrical Engineering, 32)
Springer
Digital Logic Testing and Simulation - Wiley Engineering
Wiley
Design Automation for Differential MOS Current-Mode Logic Circuits
Springer
Applied Digital Logic Exercises Using FPGAs (IOP Concise Physics)
Morgan & Claypool
Smart Sensors and Systems
Springer
Architecting High-Performance Embedded Systems: Design and build high-performance real-time digital systems based on FPGAs and custom circuits
Packt Publishing
Parasitic Substrate Coupling in High Voltage Integrated Circuits: Minority and Majority Carriers Propagation in Semiconductor Substrate (Analog Circuits and Signal Processing)
Springer
Formal System Verification: State-of the-Art and Future Trends
Springer
Computing Platforms for Software-Defined Radio
Springer
Robustness and Usability in Modern Design Flows
Springer
Counterfeit Integrated Circuits: Detection and Avoidance
Springer
Reconfigurable Cryptographic Processor
Springer
Foundations of Embedded Systems: 195 (Studies in Systems, Decision and Control, 195)
Springer
Proceedings of the Fourth International Conference on Microelectronics, Computing and Communication Systems: MCCS 2019: 673 (Lecture Notes in Electrical Engineering, 673)
Springer
Generalized Low-Voltage Circuit Techniques for Very High-Speed Time-Interleaved Analog-to-Digital Converters (Analog Circuits and Signal Processing)
Springer