Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
John Wordsworth
This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
درجه (قاطیغوری(:
کال:
1992
خپرندویه اداره:
Addison-Wesley Pub (Sd)
ژبه:
english
صفحه:
375
ISBN 10:
0201627574
ISBN 13:
9780201627572
لړ (سلسله):
International Computer Science Series
فایل:
DJVU, 2.12 MB
IPFS:
,
english, 1992