We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£104.85
Springer - Formal Methods and Models for System Design Book
Price data last checked 54 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.
£105 today · previous high £105 · all-time low £105
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 37 days • 37 data points (No recent data available)
Price Distribution
Price distribution over 37 days • 1 price levels
Price Analysis
Most common price: £105 (37 days, 100.0%)
Price range: £105 - £105
Price levels: 1 different prices over 37 days
Description
Key Features
Addresses the growing gap between microelectronic design tasks and the time required for effective validation.
Explores formal models and methods focused on increasing scalability and design optimization.
Provides insights into methodological innovations to help bring formal techniques into real-world practice.
Covers system decomposition techniques to break large problems into smaller, more manageable components.
Discusses the use of hierarchy, abstraction, and refinement to handle complex system behaviors.
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
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
Springer
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
John Wiley & Sons Inc
Assertion-Based Design
Springer
Modeling Companion for Software Practitioners
Springer
Springer - Specification and Verification of Multi-agent Systems
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
Nature-Inspired Networking: Theory and Applications
CRC Press
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Wiley
Foundations of Algebraic Specification and Formal Software Development (Monographs in Theoretical Computer Science. An EATCS Series)
Springer
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
Springer
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings: 2805 (Lecture Notes in Computer Science, 2805)
Springer
Robustness and Usability in Modern Design Flows
Springer
Software Engineering with OBJ: Algebraic Specification in Action: 2 (Advances in Formal Methods, 2)
Springer
Reconfigurable System Design and Verification
CRC Press
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
Springer
Model Checking (Cyber Physical Systems Series)
MIT Press
System Design with SystemC™
Springer