Formal Specification Using Z

David Lightfoot

ISBN 10: 0333763270 / ISBN 13: 9780333763278

Published by MacMillan, 2000

About this Item

pp. 176.

Seller Inventory # 261787424

Bibliographic Details

• Title: Formal Specification Using Z
• Publisher: MacMillan
• Publication Date: 2000
• Language: English
• ISBN 10: 0333763270
• ISBN 13: 9780333763278
• Binding: Soft cover
• Edition: 2nd Edition
• Condition: New

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.