The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches (The Mcgraw-Hill International Series in)

0 avg rating
( 0 ratings by Goodreads )
 
9780077077358: The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches (The Mcgraw-Hill International Series in)

Introducing two widely-used approaches to the formal specification of software systems, this book considers VDM and the algebraic approach. In each case, the emphasis is intuitive, rather than mathematical and shows the reader how to construct a formal specification from the first principles by using general procedures that can be followed each time. Familiar applications are referred to throughout and examples, small case studies and problems accompany each chapter. The two approaches are brought together in one large joint case study at the end of the book, as well as a section comparing and contrasting them. The book includes a discussion of prototyping using Prolog, OBJ3 and Miranda. It should be suitable for advanced undergraduates; postgraduates in computing and software engineering; software engineers; programmers; and other computing professionals.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

J. G. Turner, T. L. McCluskey
Published by Mcgraw Hill Book Co Ltd (1993)
ISBN 10: 0077077350 ISBN 13: 9780077077358
New Paperback Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Mcgraw Hill Book Co Ltd, 1993. Paperback. Book Condition: New. Bookseller Inventory # SONG0077077350

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 5.94
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds