Articles liés à Software Engineering 1: Abstraction And Modelling

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.