عنوان
پدید آورنده
موضوع
رده
QA 76.6 .M35
QA
76
.
6
.
M35
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The deductive foundations of computer programming: a one-volume version of the logical basis for computer programming
First Statement of Responsibility
Zohar Manna, Richard Waldinger
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Addison-Wesley
Date of Publication, Distribution, etc.
c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 717p.: ill., tables
GENERAL NOTES
Text of Note
A one-volume verison of "The logical basis for computer programming."
Text of Note
Bibliography: p.]673[-677
Text of Note
ISBN: 0201548860
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Computer programming
Entry Element
، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
M35
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Manna, Zohar
Relator Code
AU
AU Waldinger, Richard
TI
