Formal Description of Programming Concepts
ISBN 10: 3540539611 ISBN 13: 9783540539612
Edité par Springer, 1991
Neuf(s)
Couverture rigide
Vendeur
Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 24 juin 2016
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
New. Delivery takes 25-30 days. Excellent Customer Service. N° de réf. du vendeur POD-160746
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 : Couverture rigide
Etat : Brand New