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.
