Program Development by Specification and Transformation (English, Berthold Hoffmann | Bernd Krieg-Brückner)
by Berthold Hoffmann | Bernd Krieg-Brückner
Delivery options
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.
58% Off — you save ₹6,661 on this product!
Book Details
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
Frequently Asked Questions
What is the price of Program Development by Specification and Transformation?
Who is the author of Program Development by Specification and Transformation?
Is Program Development by Specification and Transformation available in Paperback and Hardcover?
Does GlowMirror offer free delivery for Program Development by Specification and Transformation?
Is Cash on Delivery available for Program Development by Specification and Transformation?
🛒 Customers Also Bought
Introduzione AI Frattali in Fisica (English, Sergio Peppino Ratti)
₹4,569
Screen- Und Interfacedesign (English, Torsten Stapelkamp)
₹4,380
Kindliche Kompetenzen (English, Arnold Lohaus)
₹1,208
The New Vegetarians (English, Paul R. Amato | Sonia a. Partridge)
₹5,561
Denkfallen Und Programmierfehler (English, Timm Grams)
₹3,508
Einführung in Die Betriebswirtschaftslehre (English, Fred G. Becker)
₹2,155Related Products
Befundung Und Nomenklatur Bei Ultraschalluntersuchungen Innerer Organe (English, Deutsche Gesellschaft Für Ultraschall in | Österreichische Gesellschaft Für Ultrasc)
₹4,965
Der Große Atemzug Fürs Kind (English, Elsbeth V. Staehr)
₹5,674
Funktionelle Insulintherapie (English, Kinga Howorka | M. Berger)
₹5,694
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
The Practice of Electrocardiography (English, Thomas M. Blake)
₹5,612