Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222
Applications and Theory of Petri Nets
31st International Conference
by Johan Lilius, Wojciech Penczek
Springer · 2010
₹5,559
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹5,059 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
It belongs to the LNCS sublibrary series.
Its main subjects are Petri nets, Congresses, Logic design and Computer science.
Book details
- ISBN-13
- 9783642136740
- ISBN-10
- 3642136745
- Authors
- Johan Lilius, Wojciech Penczek
- Publisher
- Springer
- Published
- 2010
- Series
- LNCS sublibrary
- Pages
- 327
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Computer Science Logic
Anuj Dawar, Helmut Veith
₹5,686
Typed Lambda Calculi and Applications
Marc Bezem, Jan F. Groote
₹5,663
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,242
Computer Performance Evaluation and Benchmarking
David Kaeli
₹4,196
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker
Soren Prehn, Hans Toetenel
₹5,598
Stacs 92
Alain Finkel, Matthias Jantzen
₹4,505
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963
Modelling Foundations and Applications
Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler
₹5,603
Zeitverhalten Synchroner Schaltwerke
Hans-Otto Leilich, Uwe Knaak
₹3,508
Descriptional Complexity of Formal Systems
Markus Holzer, Martin Kutrib, Giovanni Pighizzini
₹5,822