عنوان
پدید آورنده
موضوع
رده
QA 76.6 .B575 1982
QA
76
.
6
.
B575
1982
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
9102
TITLE AND STATEMENT OF RESPONSIBILITY
First Statement of Responsibility
Bjorner, Dines
Title Proper by Another Author
7391-
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 Internation
Date of Publication, Distribution, etc.
c1982
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
x, 501p., ill
SERIES
Series Title
Prentice-Hall international seres 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.(
TOPICAL NAME USED AS SUBJECT
Entry Element
Programming ، Electronic digital computers
Entry Element
، Programming languages )Electronic computers(
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
B575
1982
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
AU Dines, Cliff B. 1944-
TI
SE
LOCATION AND CALL NUMBER
Call Number Suffix
CL
