Software Engineering 1

Abstraction and Modelling

By:

Dines Bjorner

Format:

Hardback

Series:

Texts in Theoretical Computer Science: An EATCS Series

Show Hide Adult Content

$275.99

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $69.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 1-11 July using International Courier

Description

The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of abstraction and modeling. First it provides a sound, simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda calculus, algebras and mathematical logic. Then it teaches its readers 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 are propagated here through the use of the RAISE specification language (RSL). Finally the book covers the basic principles of functional, imperative and parallel specification programming.This book is targeted at university undergraduate students and at college lecturers.

Release date Australia

December 19th, 2005

Author

Dines Bjorner

Audience

Undergraduate

Illustrations

38 Illustrations, black and white; XL, 714 p. 38 illus.

Pages

714

Series

Texts in Theoretical Computer Science: An EATCS Series

Dimensions

156x234x39

ISBN-13

9783540211495

Product ID

2108731

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here