Adapting Proofs-As-Programs (English, Iman Poernomo | John N. Crossley | Martin Wirsing)
by Iman Poernomo | John N. Crossley | Martin Wirsing
Delivery options
₹4,706
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹4,706
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 ₹5087 at GlowMirror. 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 GlowMirror.
Is Adapting Proofs-As-Programs available in Paperback and Hardcover?
Yes, Adapting Proofs-As-Programs is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Adapting Proofs-As-Programs?
Yes, GlowMirror 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 GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9780387237596
🛒 Customers Also Bought
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Chandragupta Maurya: The Creation of a National Hero in India (English, Paperback, Sushma Jansari)
₹2,640
Guide to RISC Processors (English, Sivarama P. Dandamudi)
₹3,749
Fachlexikon Toxikologie (English, Karlheinz Lohs | Peter Elstner | Peter Elstner)
₹2,779
User-Centered Agile Methods (English, Hugh Beyer)
₹2,143
Uncertainty Analysis for Engineers and Scientists (English, Faith A. Morrison)
₹5,273Related Products
Laserspektroskopie 1 (English, Wolfgang Demtröder)
₹5,756
L-Functions (English, Davide Lombardo)
₹4,175
Die Bodenmechanik in Der Baupraxis (English, K. Terzaghi | A. Bley | R. B. Peck)
₹4,748
Intermediate Dynamics (English, R. a. Howland)
₹3,873
Einführung in Die Constraint-Programmierung (English, Petra Hofstedt | Armin Wolf)
₹2,155