|
|
|
|
| LEADER |
00000cam a2200000 a 4500 |
| 001 |
2554693 |
| 003 |
ICU |
| 005 |
20030522185000.0 |
| 008 |
970106s1996 nyua b 001 0 eng u |
| 010 |
|
|
|a 96017038
|
| 020 |
|
|
|a 0387947752 (hardcover : alk. paper)
|
| 035 |
|
|
|a (ICU)BID22714669
|
| 035 |
|
|
|a (NhCcYBP)YBP
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d OrLoB-B
|d OCoLC
|
| 041 |
0 |
|
|a eng
|
| 050 |
0 |
0 |
|a QA76.64
|b .A22 1996
|
| 082 |
0 |
0 |
|a 005.13/1
|2 20
|
| 100 |
1 |
|
|a Abadi, Martín.
|0 http://id.loc.gov/authorities/names/n89601437
|1 http://viaf.org/viaf/29701841
|
| 245 |
1 |
2 |
|a A theory of objects /
|c Martín Abadi, Luca Cardelli.
|
| 260 |
|
|
|a New York :
|b Springer,
|c c1996.
|
| 300 |
|
|
|a xiii, 396 p. :
|b ill. ;
|c 25 cm.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|0 http://id.loc.gov/vocabulary/contentTypes/txt
|
| 337 |
|
|
|a unmediated
|b n
|2 rdamedia
|0 http://id.loc.gov/vocabulary/mediaTypes/n
|
| 338 |
|
|
|a volume
|b nc
|2 rdacarrier
|0 http://id.loc.gov/vocabulary/carriers/nc
|
| 440 |
|
0 |
|a Monographs in computer science
|
| 504 |
|
|
|a Includes bibliographical references (p. [383]-390) and index.
|
| 505 |
0 |
0 |
|g 1.
|t Object Orientation --
|g 2.
|t Class-Based Languages --
|g 3.
|t Advanced Class-Based Features --
|g 4.
|t Object-Based Languages --
|g 5.
|t Modeling Object-Oriented Languages --
|g 6.
|t Untyped Calculi --
|g 7.
|t First-Order Calculi --
|g 8.
|t Subtyping --
|g 9.
|t Recursion --
|g 10.
|t Untyped Imperative Calculi --
|g 11.
|t First-Order Imperative Calculi --
|g 12.
|t A First-Order Language --
|g 13.
|t Second-Order Calculi --
|g 14.
|t A Semantics --
|g 15.
|t Definable Covariant Self Types --
|g 16.
|t Primitive Covariant Self Types --
|g 17.
|t Imperative Calculi with Self Types --
|g 18.
|t Interpretations of Object Calculi --
|g 19.
|t A Second-Order Language --
|g 20.
|t A Higher-Order Calculus --
|g 21.
|t A Language with Matching --
|g App. A.
|t Fragments --
|g App. B.
|t Systems --
|g App. C.
|t Proofs.
|
| 650 |
|
0 |
|a Object-oriented programming (Computer science)
|0 http://id.loc.gov/authorities/subjects/sh87007503
|
| 650 |
|
7 |
|a Object-oriented programming (Computer science)
|2 fast
|0 http://id.worldcat.org/fast/fst01042804
|
| 700 |
1 |
|
|a Cardelli, Luca.
|0 http://id.loc.gov/authorities/names/n90609785
|1 http://viaf.org/viaf/71562846
|
| 035 |
|
|
|a (OCoLC)34557380
|
| 901 |
|
|
|a ToCBNA
|
| 903 |
|
|
|a HeVa
|
| 929 |
|
|
|a cat
|
| 999 |
f |
f |
|i 590bc53b-fc9b-501a-99a0-9b6c5656e357
|s 0294f6ea-605c-51be-8ce4-88f24d236368
|
| 928 |
|
|
|t Library of Congress classification
|a QA76.64.A22 1996
|l JCL
|c JCL-Sci
|i 3213541
|
| 927 |
|
|
|t Library of Congress classification
|a QA76.64.A22 1996
|l JCL
|c JCL-Sci
|e CRERAR
|b 43649061
|i 4734993
|
