Mathematics of Program Construction
Jan L.A. van de Snepscheut
₹4,241
Computer Aided Verification
Fourth International Workshop
by Gregor Von Bochmann, David K. Probst
Springer · 1993 · Paperback
₹5,657
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: Fourth International Workshop is written by Gregor Von Bochmann & David K. Probst. This paperback edition from Springer (1993) has 422 pages.
The book deals with Symbolic and mathematical Logic, Software engineering, Instrumentation Electronics and Microelectronics and Logic design.
Book details
- ISBN-13
- 9783540564966
- ISBN-10
- 3540564969
- Authors
- Gregor Von Bochmann, David K. Probst
- Publisher
- Springer
- Published
- 1993
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 422
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Hybrid Systems
Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
₹4,621
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281
Functional and Logic Programming
Tom Schrijvers, Peter Thiemann
₹5,551
Nasa Formal Methods
Guillaume Brat
₹4,270
Software Composition
SC 2008 (2008 Budapest, Hungary)
₹4,255
Logic and Its Applications
Mohua Banerjee, Anil Seth
₹5,499
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Theoretical Computer Science
Carlo Blundo, Cosimo Laneve
₹5,722
Verilog Hdl Synthesis
J. Bhasker
₹2,660
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
Fundamental Approaches to Software Engineering
Vittorio Cortellessa, Dániel Varró
₹3,961