Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series)
Bjørner, Dines
ISBN 10: 3642059392 ISBN 13: 9783642059391
Edité par Springer, 2010
Neuf(s)
Couverture souple
Vendeur
Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Vendeur AbeBooks depuis 25 mars 2015
Cet article spécifique n'est plus disponible.
A propos de cet article
Description :
In. N° de réf. du vendeur ria9783642059391_new
Synopsis :
This well written first volume covers the basic principles and techniques of abstraction and modeling. It starts by providing the reader with a sound but simple basis for discrete mathematics before moving on to teach basic property and model-oriented specification principles and techniques. In addition, the reader will learn the essentials of functional, imperative, and parallel specification programming.
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 : Software Engineering 1: Abstraction and ...
Éditeur : Springer
Date d'édition : 2010
Reliure : Couverture souple
Etat : New