Formal Description of Programming Concepts

Beschreibung

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.

Autor*in

Erich J. Neuhold

Stimmen zu »Formal Description of Programming Concepts«

Details

Link teilen