Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
عنوان
Type theory and functional programming /
پدید آورنده
Simon Thompson
موضوع
Functional programming (Computer science),Type theory
رده
QA76
.
62
.
T46
1991
کتابخانه
Center and Library of Islamic Studies in European Languages
محل استقرار
استان:
Qom
ـ شهر:
Qom
تماس با کتابخانه :
32910706
-
025
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0201416670
NATIONAL BIBLIOGRAPHY NUMBER
Number
b410690
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Type theory and functional programming /
General Material Designation
[Book]
First Statement of Responsibility
Simon Thompson
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Reading, Mass. :
Name of Publisher, Distributor, etc.
Addison-Wesley,
Date of Publication, Distribution, etc.
c1991
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 372 p. :
Other Physical Details
ill. ;
Dimensions
24 cm
SERIES
Series Title
International computer science series
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (p. 347-357) and index
TOPICAL NAME USED AS SUBJECT
Functional programming (Computer science)
Type theory
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
62
Book number
.
T46
1991
PERSONAL NAME - PRIMARY RESPONSIBILITY
Thompson, Simon
ORIGINATING SOURCE
Date of Transaction
19920311143439.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب
[Book]
Y
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal