Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Verification, Model Checking, and Abstract Interpretation
11th International Conference
by VMCAI 2010 (2010 Madrid, Spain)
Springer-Verlag New York Inc · 2010
₹4,285
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-Verlag New York Inc in 2010, Verification, Model Checking, and Abstract Interpretation: 11th International Conference by Spain) VMCAI 2010 (2010 Madrid runs to 395 pages. The book is part of the LNCS sublibrary: SL 1-theoretical computer science and general issues series.
Topics covered include Congresses, Verification, Computer programs and Logic design.
Book details
- ISBN-13
- 9783642113185
- ISBN-10
- 3642113184
- Authors
- VMCAI 2010 (2010 Madrid, Spain)
- Publisher
- Springer-Verlag New York Inc
- Published
- 2010
- Series
- LNCS sublibrary: SL 1-theoretical computer science and general issues
- Edition
- Illustrated
- Pages
- 395
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Datenbanksysteme
Theo Härder, Erhard Rahm
₹3,873
Logics in Artificial Intelligence
Tomi Janhunen, Ilkka Niemelä
₹5,580
Algebraic and Logic Programming
Michael Hanus, Jan Heering, Karl Meinke
₹5,631
Interactive Systems
Fabio Paternó
₹4,256
Typed Lambda Calculi and Applications
Marc Bezem, Jan F. Groote
₹5,663
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,240
Fm 2012
Dimitra Giannakopoulou, Dominique Mery
₹5,690
Foundations of Software Technology and Theoretical Computer Science
P. S. Thiagarajan
₹5,608
Computer Engineering and Technology
Weixia Xu
₹4,246
Advanced Digital Logic Design Using VHDL, State Machines, and Synthesis for FPGA's
Sunggu Lee
₹9,149
Foundations of Software Technology and Theoretical Computer Science
Conjeevaram E. Veni Madhavan
₹5,549