Vertel uw vrienden over dit artikel:
Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science Berthold Hoffmann Annotated edition
Program Development by Specification and Transformation: the Prospectra Methodology, Language Family, and System - Lecture Notes in Computer Science
Berthold Hoffmann
A coherent presentation of the outcome of the project PROSPECTRA (PROgram development by SPECification and TRAnsformation) that aims to provide a methodology for developing correct software and a comprehensive support system.
630 pages, biography
| Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
| Vrijgegeven | 30 augustus 1993 |
| ISBN13 | 9783540567332 |
| Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
| Pagina's | 630 |
| Afmetingen | 156 × 234 × 33 mm · 893 g |
| Taal en grammatica | Duits |
| Uitgever | Hoffmann, Berthold |
| Uitgever | Krieg-bruckner, Bernd |