Formal Description of Programming Concepts

Paul Manfred Neuhold Erich

ISBN 10: 3540539611 / ISBN 13: 9783540539612

Edité par Springer, 1991

A propos de cet article

PRINT ON DEMAND pp. 524. N° de réf. du vendeur 181739866

Détails bibliographiques

Titre : Formal Description of Programming Concepts

Éditeur : Springer

Date d'édition : 1991

Reliure : Couverture rigide

Etat : New

A propos de ce titre

Synopsis :

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.