Logic-Based Program Synthesis and Transformation (English, María Alpuente)
Delivery options
₹5,517
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: ₹5,517
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642205507
ISBN-10
364220550X
Author
María Alpuente
About the Book
This book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, securit…
ISBN: 9783642205507
ISBN-13: 9783642205507
ISBN-10: 364220550X
Frequently Asked Questions
What is the price of Logic-Based Program Synthesis and Transformation?
Logic-Based Program Synthesis and Transformation starts from ₹5517 at GlowMirror. Available in Paperback.
Who is the author of Logic-Based Program Synthesis and Transformation?
María Alpuente is the author of Logic-Based Program Synthesis and Transformation. Browse more books by María Alpuente on GlowMirror.
Is Logic-Based Program Synthesis and Transformation available in Paperback and Hardcover?
Yes, Logic-Based Program Synthesis and Transformation is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Logic-Based Program Synthesis and Transformation?
Yes, GlowMirror offers free delivery for Logic-Based Program Synthesis and Transformation across India. No minimum order value required.
Is Cash on Delivery available for Logic-Based Program Synthesis and Transformation?
Yes, Cash on Delivery (COD) is available for Logic-Based Program Synthesis and Transformation on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783642205507
🛒 Customers Also Bought
Vademecum Labormedizin (English, H. -U Koch | Michael Pietsch | Helge Riegel)
₹4,965
Freundlichkeit Im Schulalltag (English, Gisela Steins)
₹2,779
Elementi Di Probabilità E Statistica (English, F. Biagini | M. Campanino)
₹2,869
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Tipps Und Tricks Für Den Herz- Und Thoraxchirurgen (English, D. Stockhausen | Christof Schmid)
₹1,208
Kompendium Der Immunologie (English, Miroslav Ferencik | Jozef Rovensky | Vladimir Matha)
₹4,601Related Products
Lagerungshilfsmittel in Der Krankenpflege (English, Julianna Savanov)
₹4,920
Ökonomie Der Abwasserbeseitigung (English, Thomas Sander)
₹4,530
Emotionale Kompetenz Im Lehrberuf (English, Christof Kuhbandner | Iris Schelhorn)
₹3,143
HIV Und AIDS (English, Hiv-Arbeitskreis Süd-West)
₹5,694
Der Angeborene Herzfehler (English, Mayer | Graf | Baumann)
₹3,143