Formal Techniques for Networked and Distributed Systems - Forte 2005
Farn Wang
₹4,444
Automated Technology for Verification and Analysis
Second International Conference
by Farn Wang
Springer · 2004 · Paperback
₹4,536
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
Automated Technology for Verification and Analysis: Second International Conference by Farn Wang is a 506-page paperback edition published by Springer in 2004. The book is part of the Lecture notes in computer science series.
The book deals with Congresses, Automatic theorem proving, Computer aided design (CAD) and Computers.
Book details
- ISBN-13
- 9783540236108
- ISBN-10
- 3540236104
- Author
- Farn Wang
- Publisher
- Springer
- Published
- 2004
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 506
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Farn Wang and related titles
Computer Science Logic
Jerzy Marcinkowski
₹5,825
Lisp, Lore, and Logic
W. Richard Stark
₹6,981
International Symposium on Programming
Ugo Montanari Mariangiola Dezani-Ciancaglini
₹2,793
Hybrid Systems
Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
₹4,621
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
₹5,499
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
Hardware and Software
Kedar Namjoshi, Andreas Zeller, Avi Ziv
₹5,465
Automated Deduction -- Cade-23
Nikolaj Björner, Viorica Sofronie-Stokkermans
₹5,669
Stacs 91
Christian Choffrut, Matthias Jantzen
₹4,526