Program Development by Specification and Transformation (English, Berthold Hoffmann | Bernd Krieg-Brückner)
by Berthold Hoffmann | Bernd Krieg-Brückner
Delivery options
₹11,563
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: ₹11,563
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540567332
ISBN-10
354056733X
Author
Berthold Hoffmann | Bernd Krieg-Brückner
About the Book
This volume gives a coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a rigorous methodology for developing correct software and a comprehensive support system. The results are substantial: a theoretically well-founded methodology covering the whole development cycle, a very high-level specification and transformation language family allowing meta-program…
ISBN: 9783540567332
ISBN-13: 9783540567332
ISBN-10: 354056733X
Frequently Asked Questions
What is the price of Program Development by Specification and Transformation?
Program Development by Specification and Transformation starts from ₹11563 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Program Development by Specification and Transformation?
Berthold Hoffmann | Bernd Krieg-Brückner is the author of Program Development by Specification and Transformation. Browse more books by Berthold Hoffmann | Bernd Krieg-Brückner on BookBajar.
Is Program Development by Specification and Transformation available in Paperback and Hardcover?
Yes, Program Development by Specification and Transformation is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Program Development by Specification and Transformation?
Yes, BookBajar offers free delivery for Program Development by Specification and Transformation across India. No minimum order value required.
Is Cash on Delivery available for Program Development by Specification and Transformation?
Yes, Cash on Delivery (COD) is available for Program Development by Specification and Transformation on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783540567332
🛒 Customers Also Bought
NoNonsense Rethinking Education: Whose knowledge is it anyway? (English, Paperback, John Yandell, Adam Unwin)
₹2,700
It-Architekturentwicklung Im Smart Grid (English, Hans-Jürgen Appelrath | Petra Beenken | Ludger Bischofs)
₹8,216
Kanalisation Und Abwasserreinigung (English, Geißler Geißler)
₹4,715
Die Ursache Der Zusätzlichen Eisenverluste in Umlaufenden Glatten Ringankern (English, Julius Wild)
₹4,191
Angewandte Elektrizitätslehre (English, Paul Eversheim)
₹4,186
Grundlagen Der Aeromechanik Und Flugmechanik (English, Arthur Pröll)
₹4,507Related 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