Recomienda este artículo a tus amigos:
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
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 30 de agosto de 1993 |
| ISBN13 | 9783540567332 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 630 |
| Dimensiones | 156 × 234 × 33 mm · 893 g |
| Lengua | Alemán |
| Editor | Hoffmann, Berthold |
| Editor | Krieg-bruckner, Bernd |