عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
14100
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal development of programs and proofs
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Reading, Mass.
Name of Publisher, Distributor, etc.
Addison- Wesley
Date of Publication, Distribution, etc.
c1990
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 242 p. :ill. ;25 cm
SERIES
Series Title
The UT year of programming series
GENERAL NOTES
Text of Note
Includes bibliographical references.
TOPICAL NAME USED AS SUBJECT
Entry Element
، Electronic digital computers- Programming- Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
1
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
F657
1990
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
edited by Edsger W. Dijkstra
AU ebyW regsdE ,artskjiD
