An introduction to formal specification and Z
/ Ben Potter, Jane Sinclair, David Till
An introduction to formal specification and Z
Edition 1
list
شناسنامه
Main Entry
Potter, Ben، نویسندهTitle and Author
An introduction to formal specification and Z / / Ben Potter, Jane Sinclair, David TillPublication Details
، 1996مPhysical Description
xiv, 434 p.؛ ;24 cm.؛ :ill..Subject
Computer software - Geotools ــ DevelopmentZ )Computer program language( ــ Development
series
(Prentice-Hall international series in computer science؛ )Added Identifiers
Sinclair, Jane، نویسنده .
Till, David، نویسنده .
Till, David، نویسنده .
Language
انگلیسیRetrieval Number
Congress:
Cataloger
کانورتورEnglish.
Includes bibliographical references )p. 414-418( and index.
Includes bibliographical references )p. 414-418( and index.
