Logic-Based Program Synthesis and Transformation (English, Germán Vidal)
by Germán Vidal
Delivery options
₹5,304
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,304
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642322105
ISBN-10
3642322107
Author
Germán Vidal
About the Book
This book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011.
ISBN: 9783642322105
ISBN-13: 9783642322105
ISBN-10: 3642322107
Frequently Asked Questions
What is the price of Logic-Based Program Synthesis and Transformation?
Logic-Based Program Synthesis and Transformation starts from ₹5304 at GlowMirror. Available in Paperback.
Who is the author of Logic-Based Program Synthesis and Transformation?
Germán Vidal is the author of Logic-Based Program Synthesis and Transformation. Browse more books by Germán Vidal 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-9783642322105
🛒 Customers Also Bought
Equations Differentielles Operationnelles (English, Jacques Louis Lions)
₹4,237
Charakteropathien Nach Frühkindlichen Hirnschäden (English, Hermann Stutte | H. Koch)
₹3,508
Paläoanthropologie (English, Winfried Henke | Hartmut Rothe)
₹4,601
Mechanics of Terrestrial Locomotion (English, Klaus Zimmermann | Igor Zeidis | Carsten Behn)
₹5,593
Software Verification and Analysis (English, Janusz Laski | William Stanley)
₹5,558
Radioanalytical Chemistry (English, Bernd Kahn)
₹5,732Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,398
L'Approccio Integrato AI Disturbi Mentali (English, Ferdinando Pellegrino)
₹3,626
Ecografia E Procedure Interventistiche Percutanee (English, Mirko D'Onofrio | Roberto Pozzi Mucelli | Andrea Ruzzenente)
₹3,171
Grundlagen Der Klassischen Triz (English, Michael A. Orloff)
₹5,498
Kindergesundheit Stärken (English, Eva Maria Bitzer | Ulla Walter | Heidrun Lingner)
₹3,873