We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£109.17
Springer Advances in Verification of Time Petri Nets and TA
Price data checked 4 days ago
Price History & Forecast
Last 87 days • 87 data points (No recent data available)
Price Distribution
Price distribution over 87 days • 4 price levels
Price Analysis
Most common price: £109 (31 days, 35.6%)
Price range: £107 - £114
Price levels: 4 different prices over 87 days
Description
Key Features
Comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) for real-time systems modeling.
Detailed analysis of methods for translating time Petri nets to timed automata.
Technical focus on translations that maintain the specific semantics of time Petri nets.
Instruction on associating clocks with different components of the nets for accurate modeling.
Part of the Studies in Computational Intelligence series (Volume 20) from Springer.
Product Specifications
- Brand
- Springer
- Format
- paperback
- ASIN
- 3642069428
- Domain
- Amazon UK
- Release Date
- 25 November 2010
- Listed Since
- 14 June 2010
Barcode
No barcode data available
Similar Products You Might Like
FEIN 63502225230 SL E-Cut C HCS 50x65 Saw Blade, 0 V, Multi-Colour
Springer
Temporal Logic and State Systems (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Springer Advances in Temporal Logic 16 - Applied Logic Series
Springer
Real-Time Systems: Scheduling, Analysis, and Verification
Wiley
Temporal Logic - World Scientific Publishing Company Book
World Scientific Publishing Company
Springer - Petri Nets: Theoretical Models and Analysis Methods
Springer
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Birkhauser
Computation Engineering: Applied Automata Theory and Logic
Springer
Computation Engineering: Applied Automata Theory and Logic
Springer
Computer–Aided Verification of Coordinating Processes – The Automata–Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics: 3 (Atlantis Studies in Computing, 3)
Springer
Springer - Specification and Verification of Multi-agent Systems
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Principles of Model Checking
MIT Press
Temporal Verification of Reactive Systems: Safety
Springer
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Verification of Sequential and Concurrent Programs (Texts in Computer Science)
Springer
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
The Design of Interpreters, Compilers, and Editors for Augmented Transition Networks (Symbolic Computation)
Springer
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
The Austin Protocol Compiler: 13 (Advances in Information Security, 13)
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)
Springer