Formal Description of Programming Concepts (IFIP State-of-the-Art Reports)
ISBN 10: 3540539611 ISBN 13: 9783540539612
Edité par Springer, 1991
Ancien(s) ou d'occasion
Hardcover
Vendeur
Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 29 août 2016
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
Ancien livre de bibliothèque avec équipements. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-128-858
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Détails bibliographiques
Titre : Formal Description of Programming Concepts (...
Éditeur : Springer
Date d'édition : 1991
Reliure : Hardcover
Etat : Très bon