Conte aos seus amigos sobre este item:
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
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 30 de agosto de 1993 |
| ISBN13 | 9783540567332 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 630 |
| Dimensões | 156 × 234 × 33 mm · 893 g |
| Idioma | Alemão |
| Editor | Hoffmann, Berthold |
| Editor | Krieg-bruckner, Bernd |