Computer Aided Verification by Pierre Wolper is listed under Computers & Internet on BookBajar. Full details, specifications and reader reviews are below.
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540600459
ISBN-10
3540600450
Author
Pierre Wolper
About the Book
This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995. The book contains the 31 refereed full research papers selected for presentation at CAV '95 as well as abstracts or full papers of the three invited presentations. Originally oriented towards finite-state concurrent systems, CAV now covers all styles of verification approaches and a variety of a…
ISBN: 9783540600459
ISBN-13: 9783540600459
ISBN-10: 3540600450
Reader's Guide
What This Book Covers
- ·The main subject matter of Computer Aided Verification
- ·Ideas and detail relevant to Computers & Internet
- ·Context that helps make sense of the material as a whole
Best Suited For
Developers, IT professionals, and CS students.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Computer Aided Verification?
Computer Aided Verification starts from ₹5606 at BookBajar. Available in Paperback.
Who is the author of Computer Aided Verification?
Pierre Wolper is the author of Computer Aided Verification. Browse more books by Pierre Wolper on BookBajar.
Is Computer Aided Verification available in Paperback and Hardcover?
Yes, Computer Aided Verification is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Computer Aided Verification?
Yes, BookBajar offers free delivery for Computer Aided Verification across India. No minimum order value required.
Is Cash on Delivery available for Computer Aided Verification?
Yes, Cash on Delivery (COD) is available for Computer Aided Verification on BookBajar. You can pay when your order is delivered.
What is BookBajar's return policy on Computer Aided Verification?
Computer Aided Verification can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Computer Aided Verification?
Computer Aided Verification has ISBN 9783540600459 (ISBN-10: 3540600450). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Computer Aided Verification?
About the Book This volume constitutes the proceedings of the 7th International Conference on Computer Aided Verification, CAV '95, held in Liège, Belgium in July 1995.
Product ID: isbn-9783540600459
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637