Computers & Internet
Computer Aided Verification (English, Pierre Wolper)
₹5,606
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Product Description
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
Book Specifications
| ISBN-13 | 9783540600459 |
| ISBN-10 | 3540600450 |
| Publisher | Springer |
| Category | Computers & Internet |
Frequently Asked Questions
What is the price of Computer Aided Verification?
Computer Aided Verification is available at ₹5,606 on BookShops.in.
Does BookShops.in offer free delivery for Computer Aided Verification?
FREE delivery on all orders for Computer Aided Verification.
Is Cash on Delivery available for Computer Aided Verification?
Yes, Cash on Delivery (COD) is available for Computer Aided Verification on BookShops.in. Pay when your order arrives.
What is the return policy for Computer Aided Verification?
BookShops.in offers a 15-day hassle-free return policy for Computer Aided Verification. Contact us at [email protected] or call +91 81899 68108.
Is Computer Aided Verification authentic?
Computer Aided Verification is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Algorithmische Sprache Und Programmentwicklung | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer
₹3,143
Programming
Distributed Algorithms | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean
₹5,539
Programming
Meta-Level Control for Deductive Database Systems | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schm
₹5,458
Programming
Java Web Services | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'
₹3,680
Programming
Database in Depth | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J.
₹3,158
Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson |
₹5,602
Related Products
View All
Computers & Internet
Modern Full-Stack React Projects by Daniel Bugl
₹2,311
Computers & Internet
Mootools 1.2 Beginner's Guide (English, Jacob Gube)
₹2,085
Computers & Internet
Contemporary Methods for Speech Parameterization (Springerbriefs in Electrical and Computer Engineering / Springerbriefs in Speech Technology)
₹4,187
Computers & Internet
Information Technology and Lawyers | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lodder | Anja Oskamp | Springer | by Arno R. Lo
₹4,985
Computers & Internet
Digital Analysis of Remotely Sensed Imagery | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao | McGraw-Hill Companies | by Jay Gao
₹5,336
Computers & Internet
Computer-Aided Drug Design and Delivery Systems | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Companies | by Ahindra Nag | Baishakhi Dey | McGraw-Hill Compan
₹4,180