عنوان
پدید آورنده
موضوع
رده
QA 76.7 .W555 1993
QA
76
.
7
.
W555
1993
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0262231697
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
44372
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
The formal semantics of programming languages
General Material Designation
[Book]
Other Title Information
: an introduction
First Statement of Responsibility
/ Glynn Winskel
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge; Mass
Name of Publisher, Distributor, etc.
: MIT Press
Date of Publication, Distribution, etc.
, c1993
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xviii, 361 p.
Dimensions
; 24 cm
SERIES
Series Title
Foundations of computing
GENERAL NOTES
Text of Note
English
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. [353]-356) and index
TOPICAL NAME USED AS SUBJECT
Programming languages (Electronic computers) -- Semantics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
7
Book number
.
W555
1993
PERSONAL NAME - PRIMARY RESPONSIBILITY
Winskel, G, author
ORIGINATING SOURCE
Country
Iran
Agency
University of Tehran. Library of Technical Camp 2
Old cataloging
p
BL
1
Y
