عنوان
پدید آورنده
موضوع
رده
QA 76.73 .Z2 B68 1996
QA
76
.
73
.
Z2
B68
1996
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
20227
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Bowen, Jonathan Peter
Title Proper by Another Author
6591-
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.
c1996
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xvi, 302p.: ill
GENERAL NOTES
Text of Note
Bibliography: p. 253-284
Text of Note
Includes index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Jonathan Bowen
TOPICAL NAME USED AS SUBJECT
Entry Element
، Z )Computer program language(
Entry Element
، System design
Entry Element
Development ، Computer software
Entry Element
، Software documentation
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
73
.
Z2
B68
1996
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
LOCATION AND CALL NUMBER
Call Number Suffix
CL
