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 8 day(s) ago - will refresh soon
Price History & Forecast
Last 83 days • 83 data points (No recent data available)
Price Distribution
Price distribution over 83 days • 1 price levels
Price Analysis
Most common price: £105 (83 days, 100.0%)
Price range: £105 - £105
Price levels: 1 different prices over 83 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
Formal System Verification: State-of the-Art and Future Trends
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Scalable Hardware Verification with Symbolic Simulation
Springer
System-level Test and Validation of Hardware/Software Systems: 17 (Springer Series in Advanced Microelectronics, 17)
Springer
Formal Methods for Industrial Critical Systems: A Survey of Applications
John Wiley & Sons Inc
Formal Methods for Software Engineering: Languages, Methods, Application Domains (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Research Challenges in Modeling and Simulation for Engineering Complex Systems (Simulation Foundations, Methods and Applications)
Springer
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
Springer - High-Level Modeling and Synthesis of Analog Systems
Springer
Reconfigurable System Design and Verification
CRC Press
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
Formal Methods: State of the Art and New Directions
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Springer - Formalization of Complex Analysis and Matrix Theory
Springer
Formalization of Complex Analysis and Matrix Theory
Springer
Systems Engineering: Design Principles and Models
CRC Press
Modeling Multi-Level Systems (Understanding Complex Systems)
Springer
Modeling Multi-Level Systems: 0 (Understanding Complex Systems)
Springer
From Action Systems to Distributed Systems: The Refinement Approach (Chapman & Hall/Crc Computational Science)
CRC Press
Platform Based Design at the Electronic System Level: Industry Perspectives and Experiences
Springer
Real-Time Systems: Scheduling, Analysis, and Verification
Wiley
Formal Verification: An Essential Toolkit for Modern VLSI Design
Morgan Kaufmann