Tell your friends about this item:
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
| Media | Books Hardcover Book (Book with hard spine and cover) |
| Released | October 4, 1991 |
| ISBN13 | 9783540539612 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 508 |
| Dimensions | 178 × 254 × 28 mm · 1.12 kg |
| Language | German |
| Editor | Neuhold, Erich J. |
| Editor | Paul, Manfred |