عنوان
پدید آورنده
موضوع
رده
QA 76.76 .D47 J66 1990
QA
76
.
76
.
D47
J66
1990
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
14469
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Jones, Cliff B
Title Proper by Another Author
4491-
Title Proper
Systematic software development using VDM
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Englewood Cliffs, N.J
Name of Publisher, Distributor, etc.
Prentice Hall International
Date of Publication, Distribution, etc.
c1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 333p.: ill
SERIES
Series Title
Prentice Hall International series in computer science
GENERAL NOTES
Text of Note
Bibliography: p. 321-322
Text of Note
Includes indexes
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Cliff B. Jones
NOTES PERTAINING TO EDITION AND BIBLIOGRAPHIC HISTORY
Text of Note
2nd ed.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software - Development - Management
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
76
.
D47
J66
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
TI
TI VDM
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
