Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering) - Softcover
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.
- PublisherMcGraw-Hill Publishing Co.
- Publication date1994
- ISBN 10 0077077350
- ISBN 13 9780077077358
- BindingPaperback
- Number of pages415
Top Search Results from the AbeBooks Marketplace
Stock Image
Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering)
Published by
McGraw-Hill Book Co Ltd
(1993)
ISBN 10: 0077077350
ISBN 13: 9780077077358
Used
Paperback
Quantity: 2
Seller:
Rating
Book Description Paperback. Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR004996541
Buy Used
£ 2.12
Convert currency
Stock Image
Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches (McGraw-Hill International Series in Software Engineering)
Published by
McGraw-Hill Publishing Co.
(1994)
ISBN 10: 0077077350
ISBN 13: 9780077077358
Used
Paperback
Quantity: 1
Seller:
Rating
Book Description Paperback. Condition: Used; Good. Dispatched, from the UK, within 48 hours of ordering. This book is in good condition but will show signs of previous ownership. Please expect some creasing to the spine and/or minor damage to the cover. Damaged cover. The cover of is slightly damaged for instance a torn or bent corner. Grubby book may have mild dirt or some staining, mostly on the edges of pages. Seller Inventory # CHL9489009
Buy Used
£ 3.11
Convert currency
Stock Image
The Construction of Formal Specifications : An Introduction to the Model-Based and Algebraic Approaches
Published by
McGraw-Hill Companies, The
(1994)
ISBN 10: 0077077350
ISBN 13: 9780077077358
Used
Softcover
Quantity: 1
Seller:
Rating
Book Description Condition: Very Good. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP62301649
Buy Used
£ 4.57
Convert currency