We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£75.17
Springer Verification of Digital and Hybrid Systems: 170 (NATO ASI Subseries F:, 170)
Price data last checked 61 day(s) ago - refreshing...
Price History & Forecast
Last 30 days • 30 data points (No recent data available)
Price Distribution
Price distribution over 30 days • 2 price levels
Current Price
Price Analysis
Most common price: £78 (21 days, 70.0%)
Price range: £75 - £78
Price levels: 2 different prices over 30 days
Description
This book grew out of a NATO Advanced Study Institute summer school that was held in Antalya, TUrkey from 26 May to 6 June 1997. The purpose of the summer school was to expose recent advances in the formal verification of systems composed of both logical and continuous time components. The course was structured in two parts. The first part covered theorem-proving, system automaton models, logics, tools, and complexity of verification. The second part covered modeling and verification of hybrid systems, i. e. , systems composed of a discrete event part and a continuous time part that interact with each other in novel ways. Along with advances in microelectronics, methods to design and build logical systems have grown progressively complex. One way to tackle the problem of ensuring the error-free operation of digital or hybrid systems is through the use of formal techniques. The exercise of comparing the formal specification of a logical system namely, what it is supposed to do to its formal operational description-what it actually does!-in an automated or semi-automated manner is called verification. Verification can be performed in an after-the-fact manner, meaning that after a system is already designed, its specification and operational description are regenerated or modified, if necessary, to match the verification tool at hand and the consistency check is carried out.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642640524
- Category
- Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
- Domain
- Amazon UK
- Release Date
- 30 September 2011
- Listed Since
- 12 July 2012
Barcode
No barcode data available
Similar Products You Might Like
92% match
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
£86.32
09 Mar 2026
92% match
Verification and Validation of Complex Systems: Human Factors Issues: 110 (NATO ASI Subseries F:, 110)
Springer
£243.88
19 Feb 2026
92% match
Verification and Validation of Complex Systems: Human Factors Issues: 110 (NATO ASI Subseries F:, 110)
Springer
£211.79
19 Feb 2026
92% match
Formal System Verification: State-of the-Art and Future Trends
Springer
£88.40
06 Mar 2026
92% match
Scalable Hardware Verification with Symbolic Simulation
Springer
£57.40
23 Feb 2026
92% match
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
£71.74
26 Feb 2026
92% match
Real-Time Systems: Scheduling, Analysis, and Verification
Wiley
£98.75
12 Jan 2026
92% match
Analog-Mixed Signal Verification
CREATESPACE
£55.41
13 Jan 2026
92% match
The Verilog Hardware Description Language
Springer
£71.99
08 Jan 2026
92% match
Computation Engineering: Applied Automata Theory and Logic
Springer
£28.99
25 Feb 2026
91% match
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (SpringerBriefs in Applied Sciences and Technology)
Springer
£51.96
16 Feb 2026
91% match
Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
£99.00
04 Apr 2026
91% match
Digital System Test and Testable Design: Using HDL Models and Architectures
Springer
£99.99
01 Mar 2026
91% match
Electronic Systems Effectiveness and Life Cycle Costing: 3 (NATO ASI Subseries F:, 3)
Springer
£78.43
26 Feb 2026
91% match
Springer - Formal Methods and Models for System Design Book
Springer
£104.85
18 Apr 2026
91% match
Computation Engineering: Applied Automata Theory and Logic
Springer
£68.10
23 Feb 2026
91% match
Springer - Specification and Verification of Multi-agent Systems
Springer
£113.97
20 Apr 2026
91% match
Model-Implementation Fidelity in Cyber Physical System Design
Springer
£75.84
08 Mar 2026
91% match
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
£61.49
13 Jan 2026
91% match
Advanced Digital System Design: A Practical Guide to Verilog Based FPGA and ASIC Implementation
£58.00
13 Jan 2026
91% match
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
£72.98
18 Apr 2026
91% match
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings
Springer
£74.26
01 Apr 2026
91% match
Vibration and Wear in High Speed Rotating Machinery: 174 (NATO Science Series E:, 174)
Springer
£213.13
12 Feb 2026
91% match
Tool Support for System Specification, Development and Verification (Advances in Computing Sciences)
Springer
£39.21
07 Mar 2026