عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B67 1995
QA
76
.
73
.
Z2
B67
1995
کتابخانه
محل استقرار
CE O1
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Bottaci, Leonardo
Title Proper
Formal specification using Z: a modelling approach
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
London
Name of Publisher, Distributor, etc.
ITP
Date of Publication, Distribution, etc.
1995
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 320 p.: ill
GENERAL NOTES
Text of Note
Includes bibliographical references )p. 293-294( 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
B67
1995
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Leonardo Bottaci, John Jones
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
