Software Engineering 1: Abstraction And Modelling - Couverture rigide

Livre 26 sur 44: Texts in Theoretical Computer Science. An EATCS

Bjørner, Dines

 
9783540211495: Software Engineering 1: Abstraction And Modelling
Couverture rigide
ISBN 10 : 3540211497 ISBN 13 : 9783540211495
Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 2005

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 « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date d'édition
2005
Langue
anglais
ISBN 10 
3540211497
ISBN 13 
9783540211495
Reliure
Relié
Nombre de pages
714
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Autres éditions populaires du même titre

9783540801108: Software Engineering 1

Edition présentée

ISBN 10 :  3540801103 ISBN 13 :  9783540801108
Editeur : Springer, 2008
Couverture souple