Software Engineering 1: Abstraction and Modelling

By Dines Bjørner

Book Overview

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.

• Format: Hardcover
• Language: English
• ISBN: 3540211497
• ISBN13: 9783540211495
• Release Date: December 2005
• Publisher: Springer
• Length: 714 Pages
• Weight: 2.58 lbs.
• Dimensions: 1.2" x 6.2" x 9.4"