Name: Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)
Price: 2628.00 TWD
Availability: InStock
Author: Feijs, L. M. G. ; Jonkers, H. B. M.
ISBN: 9780521435925

portada Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science)

Type

Physical Book

Author

L. M. G. Feijs

H. B. M. Jonkers

Publisher

Cambridge University Press

Year

2005

Language

English

Pages

352

Format

Paperback

Dimensions

24.4 x 17.0 x 1.9 cm

Weight

0.56 kg.

ISBN

0521435927

ISBN13

9780521435925

Edition No.

Synopsis "Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) "

Formal specification is a method for precisely modelling computer-based systems that combines concepts from software engineering and mathematical logic. In this book the authors describe algebraic and state-based specification techniques from the unified view of the Common Object-oriented Language for Design, COLD, a wide-spectrum language in the tradition of VDM and Z. The kernel language is explained in detail, with many examples, including: set representation, a display device, an INGRES-like database system, and a line editor. Fundamental techniques such as initial algebra semantics, loose semantics, partial functions, hiding, sharing, predicate and dynamic logic, abstraction functions, representation of invariants and black-box correctness are also presented. More advanced ideas, for example Horn logic, and large systems are given in the final part. Appendices contain full details of the language's syntax and a specification library. Techniques for software development and design are emphasised throughout, so the book will be an excellent choice for courses in these areas.

Customers reviews

Have you read this book? Login to add your review.

More customer reviews

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Questions and Answers about the Book

Do you have a question about the book? Login to be able to add your own question.

Opinions about Bookdelivery

More customer reviews

Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) - Feijs, L. M. G. ; Jonkers, H. B. M.

Synopsis "Formal Specification and Design (Cambridge Tracts in Theoretical Computer Science) "

Customers reviews

Frequently Asked Questions about the Book

Is the book original?

In what language is the book written?

What is the format of this book?

Questions and Answers about the Book

Opinions about Bookdelivery