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.

Lee McCluskey, John Turner
Published by McGraw-Hill Publishing Co. 01/03/1994 (1994)
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Quantity Available: 1
Seller:
Bahamut Media
(Reading, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co. 01/03/1994, 1994. Book Condition: Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Bookseller Inventory # 2341-9780077077358

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.80
Convert Currency

Add to Basket

Shipping: 3.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Lee McCluskey, John Turner
Published by McGraw-Hill Publishing Co. 01/03/1994 (1994)
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Quantity Available: 1
Seller:
Bahamut Media
(Reading, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co. 01/03/1994, 1994. Book Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Bookseller Inventory # 6545-9780077077358

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.80
Convert Currency

Add to Basket

Shipping: 3.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

J. G. Turner; T. L. McCluskey
Published by -
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Paperback Quantity Available: 1
Seller:
AwesomeBooks
(Wallingford, United Kingdom)
Rating
[?]

Book Description -. Paperback. Book Condition: Very Good. Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Bookseller Inventory # 7719-9780077077358

More Information About This Seller | Ask Bookseller a Question

Buy Used
3.18
Convert Currency

Add to Basket

Shipping: 3.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

J. G. Turner; T. L. McCluskey
Published by -
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Paperback Quantity Available: 1
Seller:
AwesomeBooks
(Wallingford, United Kingdom)
Rating
[?]

Book Description -. Paperback. Book Condition: Good. Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering) This book is in good or better condition. It has no tears to the pages and no pages will be missing from the book. The spine of the book is still in great condition and the front cover is generally unmarked. It has signs of previous use but overall is in really nice, tight condition. Shipping is normally same day from our UK warehouse. We offer a money back guarantee if you are not satisfied. Bookseller Inventory # 9053-9780077077358

More Information About This Seller | Ask Bookseller a Question

Buy Used
3.18
Convert Currency

Add to Basket

Shipping: 3.20
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Lee McCluskey
Published by McGraw-Hill Publishing Co. (1994)
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Softcover Quantity Available: 1
Seller:
Anybook Ltd.
(Lincoln, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co., 1994. Book Condition: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Bookseller Inventory # 5155748

More Information About This Seller | Ask Bookseller a Question

Buy Used
0.76
Convert Currency

Add to Basket

Shipping: 6.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Lee McCluskey
Published by McGraw-Hill Publishing Co. (1994)
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Softcover Quantity Available: 1
Seller:
Anybook Ltd.
(Lincoln, United Kingdom)
Rating
[?]

Book Description McGraw-Hill Publishing Co., 1994. Book Condition: Fair. This book has soft covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Bookseller Inventory # 4257481

More Information About This Seller | Ask Bookseller a Question

Buy Used
5.44
Convert Currency

Add to Basket

Shipping: 6.10
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

J. G. Turner
Published by Mcgraw Hill Book Co Ltd (1993)
ISBN 10: 0077077350 ISBN 13: 9780077077358
Used Paperback Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description Mcgraw Hill Book Co Ltd, 1993. Paperback. Book Condition: Good. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. May not contain Access Codes or Supplements. Buy with confidence, excellent customer service!. Bookseller Inventory # 0077077350

More Information About This Seller | Ask Bookseller a Question

Buy Used
70.90
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

8.

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

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

More Information About This Seller | Ask Bookseller a Question

Buy Used
1,644.48
Convert Currency

Add to Basket

Shipping: 3.02
Within U.S.A.
Destination, Rates & Speeds