عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B68 1996
QA
76
.
73
.
Z2
B68
1996
کتابخانه
محل استقرار
CE O1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Bowen, Jonathan
Title Proper
Formal specification and documentation using Z : a case study approach
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
International Thomson Computer Press
Date of Publication, Distribution, etc.
1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 302 p. : ill
GENERAL NOTES
Text of Note
Includes bibliographical refernces )p. 253-284( and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Z )Computer program language(
Entry Element
Computer software - Development
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
73
Classification Record Number
.
Z2
B68
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Jonathan Bowen
