Reasoning Web. Semantic Technologies for Information Systems
Sergio Tessaris
₹3,111
Computer Aided Verification
5th International Conference
Springer · 1993 · Paperback
₹5,697
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 1993, Computer Aided Verification: 5th International Conference by Costas Courcoubetis runs to 504 pages in paperback.
Topics covered include Computer software, Verification, Congresses and Electronic digital computers.
Book details
- ISBN-13
- 9783540569220
- ISBN-10
- 3540569227
- Author
- Costas Courcoubetis
- Publisher
- Springer
- Published
- 1993
- Binding
- Paperback
- Pages
- 504
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Automated Technology for Verification and Analysis
Farn Wang
₹4,536
Logic and Its Applications
Mohua Banerjee, Anil Seth
₹5,499
Application and Theory of Petri Nets
Lars M. Kristensen, Laure Petrucci
₹5,568
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
₹2,595
Formal Methods
Jim Davies, Leila Silva, Adenilso Simao
₹5,534
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,240
Stacs 92
Alain Finkel, Matthias Jantzen
₹4,505
Theorem Proving in Higher Order Logics
Joe Hurd
₹4,776
Logic-Based Program Synthesis and Transformation
Pierre Flener
₹5,546
Implementation and Application of Functional Languages
Hutchison, David - undifferentiated
₹4,082