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

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.

Autres éditions populaires du même titre

9783642059391: Software Engineering 1: Abstraction and Modelling

Edition présentée

ISBN 10 :  3642059392 ISBN 13 :  9783642059391
Editeur : Springer, 2010
Couverture souple