We can't find the internet
Attempting to reconnect
Something went wrong
Hang in there while we get back on track
£110.00
This is the most expensive it has ever been. Walk away.
£110 today · previous high £110 · all-time low £107
Springer Advances in Verification of Time Petri Nets - 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 74 days · 74 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 74 days • 3 price levels
Price Analysis
Most common price: £109 (47 days, 63.5%)
Price range: £107 - £110
Price levels: 3 different prices over 74 days
Description
Key Features
Comprehensive introduction to timed automata and time Petri nets for real-time systems verification.
Detailed exploration of translation methods that preserve time Petri net semantics and clock associations.
Focus on temporal logic approaches to formal verification of complex temporal systems.
Part of the established Studies in Computational Intelligence series 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
Springer Petri Nets: Theoretical Models and Analysis Methods
Springer
Real-Time Systems: Scheduling, Analysis, and Verification
Wiley
MIT Press Principles of Model Checking - Computer Science Book
MIT Press
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Computation Engineering: Applied Automata Theory and Logic
Springer
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career: 15230 (Lecture Notes in Computer Science, 15230)
Springer
Temporal Verification of Reactive Systems: Safety
Springer
Temporal Logic: Philosophy to AI & Quantum Computing
World Scientific Publishing Company
Verifying Temporal Properties of Systems (Progress in Theoretical Computer Science)
Birkhauser
The Unknown Component Problem: Theory and Applications
Springer
An Introduction to Practical Formal Methods Using Temporal Logic
Wiley
Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach (Princeton Series in Computer Science)
Princeton University Press
Computation Engineering: Applied Automata Theory and Logic
Springer
Formal Methods in Computer Science (Textbooks in Mathematics)
CRC Press
Temporal Type Theory: A Topos-Theoretic Approach to Systems and Behavior: 29 (Progress in Computer Science and Applied Logic, 29)
Birkhauser
Dynamic Analysis of Petri Net-Based Discrete Systems: 356 (Lecture Notes in Control and Information Sciences, 356)
Springer
Time & Logic: A Computational Approach (Routledge Revivals)
Routledge
Real-Time Systems: Formal Specification and Automatic Verification
Cambridge University Press
Theory of Computation: Automata, Formal Languages, Computation and Complexity
Springer
Rudiments of Calculus (Volume 146) (Studies in Logic and the Foundations of Mathematics, Volume 146)
Elsevier
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Real-Time Embedded Systems (Quantitative Software Engineering Series)
Wiley
Logic and Language Models for Computer Science: Third Edition
Scientific Publishing
STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)
Springer