We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£107.61
Springer - Automated Validation & Verification of UML/OCL Models
Price data last checked 30 day(s) ago - will refresh soon
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 61 days • 61 data points (No recent data available)
Price Distribution
Price distribution over 61 days • 2 price levels
Price Analysis
Most common price: £107 (60 days, 98.4%)
Price range: £107 - £108
Price levels: 2 different prices over 61 days
Description
Key Features
Covers UML/OCL methods and design flows for automatic validation and verification of hardware and software systems.
Provides detailed instruction on using satisfiability solvers within a specialized design flow.
Explains how to adapt these methods for use with any other automatic reasoning engine.
Applies the described design flow to a broad variety of validation and verification tasks.
Includes guidance on managing non-functional properties like timing constraints within the flow.
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
Wiley Digital Logic Testing and Simulation - Engineering Book
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