Formal description of programming concepts / Erich J. Neuhold ; Manfred Paul (eds.). With contributions by K. R. Apt . / State-of-the-art reports / IFIP

Neuhold, Erich J., Krzysztof R. Apt K.R. Apt u. a.:

ISBN 10: 3540539611 / ISBN 13: 9783540539612

Edité par Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1991

A propos de cet article

VI, 507 p. ; 24 cm Very good condition. Minimum traces of storage. --- Sehr guter Zustand. Minimale Lagerspuren. 9783540539612 Sprache: Englisch Gewicht in Gramm: 1134. N° de réf. du vendeur 200438

Détails bibliographiques

Titre : Formal description of programming concepts /...

Éditeur : Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer

Date d'édition : 1991

Reliure : Hardcover

Edition : 1991.

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.