Formal Specification using Z (Grassroots)

David Lightfoot

ISBN 10: 0333763270 / ISBN 13: 9780333763278

Published by Palgrave Macmillan, 2000

About this Item

Most items will be dispatched the same or the next working day. A copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned.

Seller Inventory # rev1132116789

Bibliographic Details

• Title: Formal Specification using Z (Grassroots)
• Publisher: Palgrave Macmillan
• Publication Date: 2000
• Language: English
• ISBN 10: 0333763270
• ISBN 13: 9780333763278
• Binding: Soft cover
• Edition: 2nd Edition
• Condition: Good

About this title

Synopsis

Formal specification is a technique for specifying what is required of a computer system clearly, concisely and without ambiguity. Z is a leading notation for formal specification.
Formal Specification Using Z is an introductory book intended for the many software engineers and students who will benefit from learning about this important topic in software engineering. It is intended for non-mathematicians, and it introduces the ideas in a constructive style, building each new concept on the ones already covered. Each chapter is followed by a set of exercises, and sample solutions are provided for all of these in an appendix.

About the Author

DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.
DAVID LIGHTFOOT is currently a Senior Lecturer in the School of Computing and Mathematical Sciences at Oxford Brookes University.