Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Machine Learning Challenges
Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First Pascal Machine
by Joaquin Quinonero-Candela, Ido Dagan, Bernardo Magnini
₹5,615
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
The publisher hasn't supplied a description for this edition. The details alongside are from the distributor's record.
Book details
- ISBN-13
- 9783540334279
- ISBN-10
- 3540334270
- Authors
- Joaquin Quinonero-Candela, Ido Dagan, Bernardo Magnini
- Publisher
- Springer
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Objective-C Programming
Aaron Hillegass, Mikey Ward
₹2,151
Approximation and Online Algorithms
Evripidis Bampis, Klaus Jansen
₹5,514
Analysis & Synthesis of Computer Systems
Gelenbe Erol
₹5,049
Semantic Web-Based Information Systems
Amit Sheth
₹4,915
The Computer Boys Take Over
Nathan L. Ensmenger
₹4,419
Digital Drawing For Landscape Architecture
Bradley Cantrell, Wes Michaels
₹4,434
Computer Graphics
John Hughes, Andries Van Dam, Morgan McGuire
₹5,329
Computer Aided Verification
Rajeev Alur, Doron a. Peled
₹4,559
Chess Software User's Guide
Byron Jacobs
₹1,156
Open Source Enterprise Software
Alexandra Kees, Dominic Raimon Markowski
₹5,246
Localizing the Internet
John Postill
₹4,654