Mathematical Foundations of Computer Science 1996
Wojciech Penczek, Andrzej Szalas
₹4,411
Advances in Verification of Time Petri Nets and Timed Automata
A Temporal Logic Approach
by Wojciech Penczek, Agata Pólrola
Springer · 2006 · Hardcover
₹5,393
Free delivery. Nothing extra to pay at checkout.
Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🏷️Use code GIG9, pay ₹4,908 — save ₹485 (up to ₹500 off per order)
- 💵Cash on Delivery — pay when the parcel reaches you
About this book
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach is written by Wojciech Penczek & Agata Pólrola.
The book deals with Real-time control, Petri nets, Real-time data processing and Engineering: general.
Book details
- ISBN-13
- 9783540328698
- ISBN-10
- 3540328696
- Authors
- Wojciech Penczek, Agata Pólrola
- Publisher
- Springer
- Published
- 2006
- Edition
- 1 edition
- Binding
- Hardcover
- Language
- English
- Condition
- New
- Subject
- Engineering & Technology
More by Wojciech Penczek and related titles
Built to Move Millions
Craig R. Semsel
₹4,514
Kinematics and Dynamics of Multi-body Systems
A. Kecskemethy, J. Angeles
₹7,775
The ROV Manual
Robert D. Christ, Robert L. Wernli Sr
₹3,935
Automotive Technician Training, Level 1
Tom Denton
₹16,975
Nanosciences and Nanotechnology
Jean-Michel Lourtioz, Marcel Lahmani, Claire Dupas-Haeberlin, Patrice Hesto, Stephen N. Lyle
₹10,035
Our Space Environment, Opportunities, Stakes and Dangers
Claude Nicollier, Roger Maurice Bonnet, Thomas Schildknecht, Daniel Neuenschwander, Werner Schmutz
₹2,276
Basic Polymer Engineering Data
Natti S. Rao
₹6,844
Mechanics of Hydraulic Fracturing
Ching H. Yew
₹8,340
Sensors and Transducers
M.J Usher
₹2,764
High Performance Thermoplastic Resins and Their Composites
Sylvie Beland
₹3,504
Optimizing Small Multi-Rotor Unmanned Aircraft
Stephen Prior
₹6,877
