
Advances in Verification of Time Petri Nets and Timed Automata
Wojciech Penczek, Agata Pólrola
₹5,393

21st International Symposium
by Wojciech Penczek, Andrzej Szalas
Springer · 1996 · Paperback
Free delivery. Nothing extra to pay at checkout.
Offer
Use code GIG9 at checkout and pay ₹4,014 for this book (save ₹397).
9% off every book, up to ₹500 off per order.
Mathematical Foundations of Computer Science 1996: 21st International Symposium is written by Wojciech Penczek & Andrzej Szalas.It belongs to the Lecture notes in computer science series.
The book deals with Baptism and Confirmation.