Logic Based Program Synthesis and Transformation (English, Maurice Bruynooghe)
Delivery options
₹5,496
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,496
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540221746
ISBN-10
3540221743
Author
Maurice Bruynooghe
About the Book
This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series is devoted to research in logic-based program development. P- ticular topics of interest are speci?cation, synthesis, veri?cation, transformation, specialization, analysis, optimization, composition, reuse, component-based so- ware development, agent-based software development, software arc…
ISBN: 9783540221746
ISBN-13: 9783540221746
ISBN-10: 3540221743
Frequently Asked Questions
What is the price of Logic Based Program Synthesis and Transformation?
Logic Based Program Synthesis and Transformation starts from ₹5496 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?
Maurice Bruynooghe is the author of Logic Based Program Synthesis and Transformation. Browse more books by Maurice Bruynooghe 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-9783540221746
🛒 Customers Also Bought
Seeprivatrechtliche Streitigkeiten Unter Der Eugvvo (English, Philipp Egler)
₹5,600
Physikalisches Praktikum Für Naturwissenschaftler Und Ingenieure (English, Jürgen Becker | Hansjörg Jodl)
₹3,198
Planung Und Auslegung Des Materialflusses Flexibler Fertigungssysteme (English, R. Wilhelm)
₹4,177
Untersuchungen Über Den Säuregrad Des Weines Auf Grund Der Neueren Theorien Der Lösungen (English, Theodor Paul | Adolf Günther | Robert Otzen)
₹5,935
Vom Laboratoriumspraktikum Zur Praktischen Wärmetechnik (English, Carl Blacher)
₹4,120
Speisewasser Und Speisewasserpflege Im Neuzeitlichen Dampfkraftbetrieb (English, Robert Stumper)
₹4,196Related Products
Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883