
Logic-Based Program Synthesis and Transformation (English, Pierre Flener)
Delivery options
₹5,546
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 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: ₹5,546
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540657651
ISBN-10
3540657657
Author
Pierre Flener
About the Book
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specifi…
ISBN: 9783540657651
ISBN-13: 9783540657651
ISBN-10: 3540657657
Frequently Asked Questions
What is the price of Logic-Based Program Synthesis and Transformation?
Logic-Based Program Synthesis and Transformation starts from ₹5546 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Logic-Based Program Synthesis and Transformation?
Pierre Flener is the author of Logic-Based Program Synthesis and Transformation. Browse more books by Pierre Flener on BookBajar.
Is Logic-Based Program Synthesis and Transformation available in Paperback and Hardcover?
Yes, Logic-Based Program Synthesis and Transformation is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Logic-Based Program Synthesis and Transformation?
Yes, BookBajar 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 BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540657651
🛒 Customers Also Bought

Beitrag Zur Kenntnis Ausländischer Honige (English, Jodokus Fiehe | Na Stegmüller)
₹4,218
Maschinenformerei (English, H. Allendorf)
₹3,752
Nichtlineare Schaltungen (English, R. Elsner)
₹3,685
Allokationseffizienz in Der Rechtsordnung (English, Claus Ott | Hans-Bernd Schäfer)
₹4,075
Math for Civil Service Workers (English, Paperback, LearningExpress)
₹2,330
Ein Einheitliches Motorwähler - Fernsprechsystem Für Orts- Und Fernverkehr (English, Max Langer)
₹4,156Related Products

Tomita's Theory of Modular Hilbert Algebras and Its Applications (English, M. Takesaki)
₹2,098
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
Beobachtungssprache, Theoretische Sprache Und Die Partielle Deutung Von Theorien (English, Wolfgang Stegmüller)
₹1,524
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700