Transactions on Petri Nets and Other Models of Concurrency VII
Kurt Jensen, Wil M. P. van der Aalst, Gianfranco Balbo, Maciej Koutny, Karsten Wolf
₹4,272
Tools and Algorithms for the Construction and Analysis of Systems
10th International Conference
by Kurt Jensen, Andreas Podelski
Springer · 2004 · Paperback
₹4,662
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 ₹4,242 for this book (save ₹420).
9% off every book, up to ₹500 off per order.
About this book
The book deals with Development, Congresses, System design and Computer software.
Book details
- ISBN-13
- 9783540212997
- ISBN-10
- 354021299X
- Authors
- Kurt Jensen, Andreas Podelski
- Publisher
- Springer
- Published
- 2004
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 608
- Language
- English
- Condition
- New
- Subject
- System design
More by Kurt Jensen and related titles
Coloured Petri Nets
Kurt Jensen, Lars M. Kristensen
₹4,757
Coloured Petri Nets
Kurt Jensen
₹11,475
Application and Theory of Petri Nets 1992
Kurt Jensen
₹5,822
Cautious Beginnings
Kurt Jensen
₹3,047
Transactions on Petri Nets and Other Models of Concurrency V
Kurt Jensen, Susanna Donatelli, Jetty Kleijn
₹5,536
Transactions on Petri Nets and Other Models of Concurrency IV
Kurt Jensen, Susanna Donatelli, Maciej Koutny
₹5,499
Quality-Driven SystemC Design
Daniel Große, Rolf Drechsler
₹6,737
Model-Based System Architecture
Stephan Roth, Jesko G. Lamm, Markus Walker, Tim Weilkiens
₹11,395
Global UX
Daniel Szuc, Whitney Quesenbery
₹2,833
Conceptual Modeling of Information Systems
Antoni Olivé
₹2,605
Modeling Software Behavior
Paul C. Jorgensen
₹5,300