Adapting Proofs-As-Programs (English, Iman Poernomo | John N. Crossley | Martin Wirsing)
by Iman Poernomo | John N. Crossley | Martin Wirsing
Delivery options
₹17,400
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹17,400
Book Details
Publisher
Springer
Language
English
ISBN-13
9780387237596
ISBN-10
0387237593
Author
Iman Poernomo | John N. Crossley | Martin Wirsing
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
ISBN-13: 9780387237596
ISBN-10: 0387237593
Frequently Asked Questions
What is the price of Adapting Proofs-As-Programs?
Adapting Proofs-As-Programs starts from ₹17400 at BookBajar. Available in Paperback.
Who is the author of Adapting Proofs-As-Programs?
Iman Poernomo | John N. Crossley | Martin Wirsing is the author of Adapting Proofs-As-Programs. Browse more books by Iman Poernomo | John N. Crossley | Martin Wirsing on BookBajar.
Is Adapting Proofs-As-Programs available in Paperback and Hardcover?
Yes, Adapting Proofs-As-Programs is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Adapting Proofs-As-Programs?
Yes, BookBajar offers free delivery for Adapting Proofs-As-Programs across India. No minimum order value required.
Is Cash on Delivery available for Adapting Proofs-As-Programs?
Yes, Cash on Delivery (COD) is available for Adapting Proofs-As-Programs on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780387237596
🛒 Customers Also Bought
Data Privacy: Principles and Practice (English, Paperback, Nataraj Venkataramanan)
₹2,700
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Physik Des Erdnahen Weltraums (English, Gerd Prölss)
₹3,508
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141Related Products
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Prozessmanagement Individuell Umgesetzt (English, Eva-Maria Kern)
₹5,694
Dust Mites (English, Matthew J. Colloff)
₹23,844
Methodenhandbuch Für Softwareschulungen (English, Stefanie Gerlach | Inga Squarr)
₹5,040