عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .B575
QA
76
.
6
.
B575
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal specification and software development
.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.
c1982
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 501 p. : ill. ; 25 cm
SERIES
Other Title Information
Prentice-Hall International series in computer science
GENERAL NOTES
Text of Note
Bibliography: p. 461-487.
Text of Note
Includes index.
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
Dines Bjorner and Cliff B. Jones ; in collaboration with Derek Andrews ... ]et al.[
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer software -- Development
Entry Element
، Programming languages )Electronic computers(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
B575
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Bjorner, Dines, 7391-
Relator Code
AU
AU Jones, C. B. )Cliff B.(, 1944-
TI
