Springer
Adapting Proofs-As-Programs (English, Iman Poernomo | John N. Crossley | Martin Wirsing)
₹4,706
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 monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the book's central themes is a general, abstract framework for developing new systems of program synthesis by adapting proofs-as-programs to new contexts. The…
ISBN: 9780387237596
Book Specifications
| ISBN-13 | 9780387237596 |
| ISBN-10 | 0387237593 |
| Publisher | Springer |
| Category | Springer |
Frequently Asked Questions
What is the price of Adapting Proofs-As-Programs?
Adapting Proofs-As-Programs is available at ₹4,706 on BookShops.in.
Does BookShops.in offer free delivery for Adapting Proofs-As-Programs?
FREE delivery on all orders for Adapting Proofs-As-Programs.
Is Cash on Delivery available for Adapting Proofs-As-Programs?
Yes, Cash on Delivery (COD) is available for Adapting Proofs-As-Programs on BookShops.in. Pay when your order arrives.
What is the return policy for Adapting Proofs-As-Programs?
BookShops.in offers a 15-day hassle-free return policy for Adapting Proofs-As-Programs. Contact us at support@bookshops.in or call +91 95575 56855.
Is Adapting Proofs-As-Programs authentic?
Adapting Proofs-As-Programs is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Edinburgh University Press
ReFocus: The Films of Paul Schrader | by Michelle E. Moore | Brian Brems | Edinburgh University Press | English
₹4,826
Edinburgh University Press
Faces on Screen: New Approaches | by Alice Maurice | Oxford Univ Pr | English
₹5,477
Edinburgh University Press
Key Concepts in Victorian Studies | by William Hughes | Oxford Univ Pr | English
₹5,339
R & L Education
Cultivating Teacher Renewal: Guarding Against Stress and Burnout | by Barbara Larrivee | Rowman & Littlefield Education | English
₹4,131
R & L Education
FINANCING SCHOOLS AND EDUCATIONAL PROGRAMS : POLICY, PRACTICE, AND POLITICS | by Al Ramirez | Rowman & Littlefield Education | English | 1st Edition
₹4,653
Lulu.com
Linux Kopflos - Mit PC Engines ALIX | by Mathias Weidner | Lulu.com | German
₹998
Related Products
View All
Springer
Moderne Suggestionsverfahren: Hypnose · Autogenes Training · Biofeedback Neurolinguistisches Programmieren | by Bernhard J. M. Diehl | Theres Miller | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | 1990th Edition
₹3,508
Springer
Mißbildungen: Interrelationen, Assoziationen und diagnostische Validität | by H. -U Burkhardt | Wilhelm-Wolfgang Höpker | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1984 Edition
₹3,508
Springer
Die Rechenmaschinen Von Konrad Zuse | by Raul Rojas | F. L. Bauer | H. Dorsch | Springer-Nature New York Inc | German | Reprint Edition
₹4,601
Springer
Ehen depressiver und schizophrener Menschen: Eine vergleichende Studie an 103 Kranken und ihren Ehepartnern: 33 | by Daniel Hell | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | 2. Aufl. 1998. Softcover reprint of the original 2nd ed. 1998 Edition
₹4,965
Springer
Pouch: Grundlagen · Funktion Technik · Ergebnisse | by V. Schumpelick | E. Schippers | Springer-Verlag Berlin and Heidelberg GmbH & Co. K | German | Softcover reprint of the original 1st ed. 1998 Edition
₹5,425
Springer
Bioelectromagnetics Current Concepts | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N. Ayrapetyan | Marko S. Markov | Springer | by Sinerik N.
₹4,638