Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1) - ISBN:3540211497

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)

Date: 12 April 2011, 09:29

Free register and download UseNet downloader, then you can FREE Download from UseNet.

Download without Limit " Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1) " from UseNet for FREE!

Product Description:
The art, craft, discipline, logic, practice and science of developing large scale software products is an increasing need of a trustworthy, believable and professional base. This book is one in a series of three volumes, devoted to fill this need. The three strongly related text books combine informal, engineeringly sound approaches with the rigour of formal, mathematics based approaches.
This volume 1 covers the basic principles and techniques of abstraction and modeling. First the book provides a sound, but simple basis of insight into discrete mathematics: Numbers, sets, Cartesians, types, functions, the lambda calculus, algebras and mathematical logic. Then the book goes on to teach and train its readers in basic property and model oriented specification principles and techniques. The model oriented concepts, that are common to such specification languages as B, VDM-SL, and Z, will be propagated here through the use of the RAISE specification language RSL.
Finally the book covers basic principles of functional, imperative and parallel specification programming - the latter based on the use of CSP: Hoare's language of Communicating Sequential Processes.
The present book is targeted at university undergraduate students and at college lecturers.

Download Links:

Download Link (High Speed Download)

Download Link 1 (http://www.filesonic.com/...)

Download Link 2 (http://uploading.com/...3540)

DISCLAIMER:

This site does not store Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1) on its server. We only index and link to Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1) provided by other sites. Please contact the content providers to delete Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1) if any and email us, we'll remove relevant links or contents immediately.