Recomienda este artículo a tus amigos:
Formal Description of Programming Concepts - IFIP State-of-the-Art Reports Erich J Neuhold 1991 edition
Formal Description of Programming Concepts - IFIP State-of-the-Art Reports
Erich J Neuhold
The lectures cover a wide range in the theoretical foundations of programming and give an up-to-date account of the semantic models and the related tools which have been developed in order to allow a rigorous discussion of the problems met in the construction of correct programs.
508 pages, 33 black & white tables, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 4 de octubre de 1991 |
| ISBN13 | 9783540539612 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 508 |
| Dimensiones | 178 × 254 × 28 mm · 1,12 kg |
| Lengua | Alemán |
| Editor | Neuhold, Erich J. |
| Editor | Paul, Manfred |