Relational and Algebraic Methods in Computer Science
Uli Fahrenberg, Mai Gehrke, Michael Winter
₹6,141
Formal Modeling and Analysis of Timed Systems
9th International Conference
by Uli Fahrenberg, Stavros Tripakis
Springer · 2011
₹5,559
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Formal Modeling and Analysis of Timed Systems: 9th International Conference by Uli Fahrenberg & Stavros Tripakis is a book published by Springer in 2011.
Its main subjects are Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642243097
- ISBN-10
- 3642243096
- Authors
- Uli Fahrenberg, Stavros Tripakis
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Machine theory
More by Uli Fahrenberg and related titles
Computation and Automata
Arto Salomaa, G. -C Rota, B. Doran
₹5,146
Analyse Von Petri-Netz-Modellen
Peter H. Starke
₹2,875
Nexus Tablets for Dummies
Dan Gookin
₹2,789
Prediction and Discovery
AMS-IMS-SIAM Joint Summer Research Conference, Machine and Statistical Learning: Prediction and Discovery (2006 Snowbird, Utah)
₹3,712
Advances in Computers
Marshall C. Yovits
₹3,631
Formal Modeling and Analysis of Timed Systems
Wang Yi
₹4,346
Algorithms, Languages, Automata, and Compilers
Maxim Mozgovoy
₹12,111
Principles of Verifiable Rtl Design
Harry D. Foster, Lionel Bening
₹11,570
Communication & Concurrency
Robin Milner
₹2,980
Developments in Language Theory
Igor Potapov
₹4,238
Information and Randomness
Cristian Calude
₹3,494