Interactive Theorem Proving
Jasmin Christian Blanchette, Stephan Merz
₹4,258
Tests and Proofs
9th International Conference
by Jasmin Christian Blanchette, Nikolai Kosmatov
Springer-Verlag New York Inc · 2015
₹3,778
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
Tests and Proofs: 9th International Conference by Jasmin Christian Blanchette & Nikolai Kosmatov is a 209-page book published by Springer-Verlag New York Inc in 2015.
The book deals with Constraint programming (computer science).
Book details
- ISBN-13
- 9783319212142
- ISBN-10
- 3319212141
- Authors
- Jasmin Christian Blanchette, Nikolai Kosmatov
- Publisher
- Springer-Verlag New York Inc
- Published
- 2015
- Edition
- 2015 ed.
- Pages
- 209
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More by Jasmin Christian Blanchette and related titles
101 Ready-to-Use Excel Formulas
Michael Alexander, Dick Kusleika
₹2,763
XML and JSON Recipes for SQL Server
Alex Grinberg
₹5,413
Difference Equations, Discrete Dynamical Systems and Applications
Martin Bohner, Yiming Ding, Ondřej Došlý
₹7,745
Pro SharePoint Designer 2010
David Petersen, Steve Wright
₹3,568
Young People and the Diversity of (Non)Religious Identities in International Perspective
Heather Shipley Elisabeth Arweck
₹3,752
Principles of Harmonic Analysis
Anton Deitmar, Siegfried Echterhoff
₹10,090
Learning Salesforce Visual Workflow
Rakesh Gupta
₹3,237
Memory from the Margins
Bridget Conley
₹4,492
Advances in Human Factors and Ergonomics in Healthcare and Medical Devices
Nancy J. Lightner, Jay Kalra
₹11,561
Frameworkless Front-End Development
Francesco Strazzullo
₹3,713
Analyzing Library Collection Use with Excel
Tony Greiner, Bob Cooper fre
₹3,580