Recomienda este artículo a tus amigos:
Specification and Transformation of Programs: a Formal Approach to Software Development - Springer Texts in Electrical Engineering Helmut A. Partsch Softcover Reprint of the Original 1st Ed. 1990 edition
Specification and Transformation of Programs: a Formal Approach to Software Development - Springer Texts in Electrical Engineering
Helmut A. Partsch
An introductory textbook on formal specification and transformational programming as an approach to software development.
506 pages, biography
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 5 de julio de 1990 |
| ISBN13 | 9783540525899 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 506 |
| Dimensiones | 170 × 242 × 26 mm · 707 g |
| Lengua | Inglés |