We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£118.29
This is the most expensive it has ever been. Walk away.
£118 today · previous high £118 · all-time low £105
Springer Formal Methods and Models for System Design - Springer
We'll watch every seller, every day. One email when your price arrives.
Price History & Forecast
Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.
Last 68 days · 68 data points (no recent data)
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 Distribution
Price distribution over 68 days • 3 price levels
Price Analysis
Most common price: £105 (58 days, 85.3%)
Price range: £105 - £118
Price levels: 3 different prices over 68 days
Description
Key Features
Springer publication focusing on formal methods and models for system-level design and optimisation.
Addresses scalability and efficiency challenges in microelectronic design and validation tasks.
Explores decomposition, abstraction, and refinement techniques for managing complex system structures.
Provides methodological innovations for implementing formal techniques in practical design scenarios.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 1441954643
- Domain
- Amazon UK
- Release Date
- 14 December 2011
- Listed Since
- 01 October 2010
Barcode
No barcode data available
Similar Products You Might Like
System Specification and Design Languages FDL 2010
Springer
System Specification and Design Languages: Selected Contributions from FDL 2010: 106 (Lecture Notes in Electrical Engineering, 106)
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Springer
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Formal System Verification: State-of the-Art and Future Trends
Springer
Formalization of Complex Analysis and Matrix Theory - HOL4
Springer
Formalization of Complex Analysis and Matrix Theory
Springer
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation (Premier Reference Source)
Information Science Reference
Formal Methods: State of the Art and New Directions
Springer
Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009, Proceedings: 5643 (Lecture Notes in Computer Science, 5643)
Springer
Scalable Hardware Verification with Symbolic Simulation
Springer
Formal Methods for Industrial Critical Systems: A Survey of Applications
Wiley
Assertion-Based Design
Springer
Languages for System Specification - UML, SystemC, Verilog
Springer
Modeling Companion for Software Practitioners
Springer
Specification and Verification of Multi-agent Systems - Springer
Springer
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7–9, 2019, Proceedings: 11460 (Lecture Notes in Computer Science, 11460)
Springer
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1-3, 2000 Proceedings: 1954 (Lecture Notes in Computer Science, 1954)
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Nature-Inspired Networking: Theory and Applications
CRC Press
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Wiley
Advances in Design and Specification Languages for Embedded Systems
Springer
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer