This volume contains seven lectures covering a wide range in the theoretical foundations of programming. They give an up-to-date account of the semantic models and related tools developed to allow a rigorous discussion of the construction of correct programs.
| Author: Erich J. Neuhold |
| Publisher: Springer |
| Publication Date: Oct 04, 1991 |
| Number of Pages: 508 pages |
| Binding: Hardback or Cased Book |
| ISBN-10: 3540539611 |
| ISBN-13: 9783540539612 |
Related Products
College Publications
Foundations of the Formal Sciences. the History of the Concept of the Formal Sciences
$38.61