Logic Program Synthesis and Transformation (English, John Gallagher)
Delivery options
₹5,542
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,542
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540627180
ISBN-10
3540627189
Author
John Gallagher
About the Book
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a ship sailing from Stockholm to Helsinki, in August 1996. The 17 revised full papers were carefully selected from a total of initially 27 submissions. The topics covered range over the areas of synthesis of programs from specifications, verification, transformation, spec…
ISBN: 9783540627180
ISBN-13: 9783540627180
ISBN-10: 3540627189
Frequently Asked Questions
What is the price of Logic Program Synthesis and Transformation?
Logic Program Synthesis and Transformation starts from ₹5542 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Logic Program Synthesis and Transformation?
John Gallagher is the author of Logic Program Synthesis and Transformation. Browse more books by John Gallagher on BookBajar.
Is Logic Program Synthesis and Transformation available in Paperback and Hardcover?
Yes, Logic 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 Program Synthesis and Transformation?
Yes, BookBajar offers free delivery for Logic Program Synthesis and Transformation across India. No minimum order value required.
Is Cash on Delivery available for Logic Program Synthesis and Transformation?
Yes, Cash on Delivery (COD) is available for Logic Program Synthesis and Transformation on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540627180
🛒 Customers Also Bought
Spannbeton (English, Gert König | Reinhard Maurer | Tilman Zichner)
₹4,990
Hydromechanische Probleme Des Schiffsantriebs (English, G. Kempf | E. Foerster)
₹4,004
Die Rechtliche Und Ökonomische Struktur Von Zahlungssystemen Inner- Und Außerhalb Des Bankensystems (English, Kristin Wahlers)
₹9,138
Berechnung Von Verbundkonstruktionen Aus Stahl Und Beton (English, H. Wippel)
₹4,134
Festgabe Für Werner Flume (English, E. Kirchner | Horst H. Jakobs | H. H. Jakbobs)
₹6,488
Die Notlage Der Deutschen Kleinbahnen Und Privateisenbahnen Und Mittel Zu Ihrer Behebung (English, Karl Trautvetter)
₹4,196Related Products
Cartesianische Meditationen Und Pariser Vortrage (English, Edmund Husserl | Stephan Strasser)
₹5,320
Neuroimmunology of the Skin (English, Richard D. Granstein | Thomas A. Luger)
₹5,133
Principles of Precision Hormone Therapy (English, Franck Mauvais-Jarvis)
₹4,025
Hearing - From Sensory Processing to Perception (English, B. Kollmeier | G. Klump | V. Hohmann)
₹4,089
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693