Formal Description of Programming Concepts

ISBN 10: 3540539611 / ISBN 13: 9783540539612

Edité par Springer, 1991

A propos de cet article

Print on Demand pp. 524 68:B&W 7 x 10 in or 254 x 178 mm Case Laminate on White w/Gloss Lam. N° de réf. du vendeur 7156623

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.