عنوان
پدید آورنده
موضوع
رده
QA،76.6،.F657،1990
QA
،
76
.
6
،.
F657
،
1990
کتابخانه
محل استقرار
English Book
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal Development of Programs and Proofs
First Statement of Responsibility
Edited By Edsger W. Dijkstra
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Addison- Wesley Publishing Company
Date of Publication, Distribution, etc.
1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 242 p.: illus., pic
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Index
Text of Note
Bibliography
TOPICAL NAME USED AS SUBJECT
Entry Element
Electronic Dijital Computers- Programming- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
6
Classification Record Number
.
F657
1990
PERSONAL NAME - SECONDARY RESPONSIBILITY
Entry Element
Dijkstra, Edsger Wybe, Editor
