تفاصيل الكتاب
تنسيق
غلاف ورقي
لغة
الإنجليزية
منشور
Mar 1, 1993
الناشر
Prentice Hall
رقم ISBN-10
0133263800
رقم ISBN-13
9780133263800
الوصف
This book presents a comprehensive introduction to the use of Z specifications. The emphasis is on the application of Z to enable the reader to appreciate how to use it in specifying and developing software systems. The authors discuss and approach the large-scale modular specifications using object-oriented techniques and the development of code from specifications.