Automatic Verification Methods for Finite State Systems
Joseph Sifakis
₹5,573
Latin 2002
5th Latin American Symposium
Springer · 2002 · Paperback
₹4,234
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
Published by Springer in 2002, Latin 2002: 5th Latin American Symposium by Sergio Rajsbaum runs to 630 pages in paperback.
Topics covered include Congresses, Computer science, Mathematical theory of computation and Computer Science (General).
Book details
- ISBN-13
- 9783540434009
- ISBN-10
- 3540434003
- Author
- Sergio Rajsbaum
- Publisher
- Springer
- Published
- 2002
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 630
- Language
- English
- Condition
- New
More in Mathematical theory of computation
Graph Separators, with Applications
Lenwood S. Heath, Arnold L. Rosenberg
₹7,728
Distributed Algorithms
Adrian Segall, Shmuel Zaks
₹5,573
DNA Computing
Anne Condon, Grzegorz Rozenberg
₹5,579
Logical and Computational Aspects of Model-Based Reasoning
Lorenzo Magnani
₹7,735
Ifm’99
K Araki
₹7,741
Data Structures and Efficient Algorithms
Burkhard Monien, Thomas Ottmann
₹5,576
Mathematical Foundations of Computer Science 2004
Jirí Fiala, Václav Koubek, Jan Kratochvíl
₹5,405
Concur 2002 - Concurrency Theory
Lubos Brim, Petr Jancar, Mojmir Kretinsky
₹4,288
Foundations of Software Science and Computation Structures
France) FOSSACS 2002 (2002 : Grenoble, France) Etaps 200 (2002 Grenoble
₹3,955
Topology for Computing by Afra J. Zomorodian – Computational Topology
Afra J. Zomorodian, Philippe G. Ciarlet, A. Iserles
₹4,750
Iterative Krylov Methods for Large Linear Systems
Henk A. van der Vorst
₹3,592