Fundamental Approaches to Software Engineering
Marsha Chechik
₹4,242
Computer Aided Verification
12th International Conference
by E. Allen Emerson, A. Prasad Sistla
Springer · 2000 · Paperback
₹4,411
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
Computer Aided Verification: 12th International Conference by E. Allen Emerson & A. Prasad Sistla is a 582-page paperback edition published by Springer in 2000.
The book deals with Logic design, Software engineering, Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783540677703
- ISBN-10
- 3540677704
- Authors
- E. Allen Emerson, A. Prasad Sistla
- Publisher
- Springer
- Published
- 2000
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 582
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Concurrency, Compositionality, and Correctness
Dennis Dams, Ulrich Hannemann, Martin Steffen
₹5,584
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Introductory Digital Design
Mark S. Nixon
₹2,981
Stacs 93
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
₹4,216
Duration Calculus
Michael R. Hansen, Chaochen Zhou
₹8,292
Foundations of Software Science and Computation Structures
Frank Pfenning
₹4,249
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Objektorientierter Softwareentwurf
Ruth Breu
₹3,508
Hardware and Software
Kedar Namjoshi, Andreas Zeller, Avi Ziv
₹5,465
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639