An introduction to formal specification and Z
/ Ben Potter, Jane Sinclair, David Till
An introduction to formal specification and Z
طبع 1
قائمة
شناسنامه
المدخل الرئيسي
Potter, Ben، نویسندهالعنوان واسم المؤلف
An introduction to formal specification and Z / / Ben Potter, Jane Sinclair, David Tillبيانات النشر
، 1996مالمواصفات الشكلية
xiv, 434 p.؛ ;24 cm.؛ :ill..الموضوع
Computer software - Geotools ــ DevelopmentZ )Computer program language( ــ Development
مسلسل
(Prentice-Hall international series in computer science؛ )المعرّفات المضافة
Sinclair, Jane، نویسنده .
Till, David، نویسنده .
Till, David، نویسنده .
اللغة
انگلیسیرقم الاسترجاع
المؤتمر:
الفهرس
کانورتورملاحظات
English.Includes bibliographical references )p. 414-418( and index.
