Global Change, Energy Issues and Regulation Policies
Jean Bernard Saulnier, Marcelo D. Varella
₹8,158
Program Development by Specification and Transformation
The PROSPECTRA Methodology, Language Family, and System
by Berthold Hoffmann, Bernd Krieg-Brückner
Springer · 1993 · Paperback
₹4,902
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 1993, Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System by Berthold Hoffmann & Bernd Krieg-Brückner runs to 623 pages in paperback.
Its main subjects are Development, Softwarespezifikation, Spécification and Programmtransformation.
Book details
- ISBN-13
- 9783540567332
- ISBN-10
- 354056733X
- Authors
- Berthold Hoffmann, Bernd Krieg-Brückner
- Publisher
- Springer
- Published
- 1993
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 623
- Language
- English
- Condition
- New
Related books
Fixed Point Theory for Lipschitzian-Type Mappings with Applications
Ravi P. Agarwal, Donal O'Regan, D. R. Sahu
₹4,995
Gefäßchirurgie Kontrovers
S. Horsch, G. Torsello
₹4,965
Umweltschutz in Klinik Und PRAXIS
Franz Daschner
₹5,348
Analysis and Evaluation of Fuzzy Systems
Akira Ishikawa, Terry L. Wilson
₹4,205
Violence in Mental Health Settings
Dirk Richter, Richard Whittington
₹4,143
Die Arzneimittel-Synthese
Sigmund Fränkel
₹3,143
Séminaire de Probabilités XXXVI
Jacques Azéma, Michel Émery, Michel LeDoux
₹5,694
Das Archiv des Springer-Verlags in Heidelberg
Heinz Sarkowski, Springer-Verlag
₹5,386
New Methods of Polymer Synthesis
G.C Eastmond, J.R Ebdon
₹20,067
Ergebnisse Der Chirurgie Und Orthopädie
Erwin Payr, Hermann Küttner
₹3,508
Sustainable Agriculture Reviews 29
Rosa Francaviglia Rattan Lal
₹3,569