Foundations of object-oriented languages types and semantics
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
2002
|
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
LEADER | 00000nam a2200000 c 4500 | ||
---|---|---|---|
001 | BV014228426 | ||
003 | DE-604 | ||
005 | 20021009 | ||
007 | t| | ||
008 | 020328s2002 xx |||| 00||| eng d | ||
020 | |a 026202523X |9 0-262-02523-X | ||
035 | |a (OCoLC)248906365 | ||
035 | |a (DE-599)BVBBV014228426 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-739 |a DE-19 |a DE-824 |a DE-473 |a DE-634 |a DE-83 |a DE-11 | ||
050 | 0 | |a QA76.64 | |
082 | 0 | |a 005.1/17 | |
082 | 0 | |a 005.117 | |
084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
084 | |a ST 231 |0 (DE-625)143618: |2 rvk | ||
100 | 1 | |a Bruce, Kim B. |e Verfasser |4 aut | |
245 | 1 | 0 | |a Foundations of object-oriented languages |b types and semantics |c Kim B. Bruce |
264 | 1 | |a Cambridge, Mass. [u.a.] |b MIT Press |c 2002 | |
300 | |a XX, 384 S. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
650 | 0 | 7 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4151278-9 |a Einführung |2 gnd-content | |
689 | 0 | 0 | |a Objektorientierte Programmiersprache |0 (DE-588)4172311-9 |D s |
689 | 0 | |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung UBPassau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009754014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-009754014 |
Datensatz im Suchindex
DE-19_call_number | 1601/ST 231 B886 |
---|---|
DE-19_location | 95 |
DE-473_call_number | 61/ST 231 WX 25994 |
DE-473_location | 6 |
DE-BY-UBG_katkey | 1929956 |
DE-BY-UBG_media_number | 013106046207 |
DE-BY-UBM_katkey | 2566054 |
DE-BY-UBM_media_number | 41602808120012 |
_version_ | 1824051970453798912 |
adam_text | Contents
List of Figures
Preface xv
I Type Problems in
Object-Oriented Languages
1
1.1
1.2
1.3
1.4
2
2.1
2.2
2.3
2.4
2.5
2.6
3
3.1
3.2
3.3
4
4.1
4.2
4.3
5
5.1
5.2
5.3
5.4
6
6.1
6.2
6.3
6.4
7
7.1
7.2
7.3
Historical Notes and References for Section I
II Foundations:
The Lambda Calculus
8
8.1
8.2
8.3
9
9.1
9.2
9.3
9.4
9.5
Historical Notes and References for Section II
Ill Formal Descriptions of
Object-Oriented Languages
10
10.1
10.2
10.3
11
11.1
11.2
11.3
11.4
11.5
11.6
12
12.1
12.2
12.3
13
13.1
13.2
13.3 SÖÖC
13.4
13.5
14
Inheritance
14.1
14.2
14.3
14.4
14.5
14.6
Historical Notes and References for Section
IV Extending Simple
Object-Oriented Languages
15
15.1
15.2
15.3
16
16.1
16.2
16.3
16.4
16.5
17
17.1
17.2
17.3
17.4
17.5
17.6
18
18.1
18.2
18.3
18.4
18.5
Historical Notes and References for Section IV
Bibliography
Index
|
any_adam_object | 1 |
author | Bruce, Kim B. |
author_facet | Bruce, Kim B. |
author_role | aut |
author_sort | Bruce, Kim B. |
author_variant | k b b kb kbb |
building | Verbundindex |
bvnumber | BV014228426 |
callnumber-first | Q - Science |
callnumber-label | QA76 |
callnumber-raw | QA76.64 |
callnumber-search | QA76.64 |
callnumber-sort | QA 276.64 |
callnumber-subject | QA - Mathematics |
classification_rvk | ST 230 ST 231 |
ctrlnum | (OCoLC)248906365 (DE-599)BVBBV014228426 |
dewey-full | 005.1/17 005.117 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 005 - Computer programming, programs, data, security |
dewey-raw | 005.1/17 005.117 |
dewey-search | 005.1/17 005.117 |
dewey-sort | 15.1 217 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01428nam a2200373 c 4500</leader><controlfield tag="001">BV014228426</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20021009 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">020328s2002 xx |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">026202523X</subfield><subfield code="9">0-262-02523-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)248906365</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV014228426</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.64</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/17</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.117</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 231</subfield><subfield code="0">(DE-625)143618:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bruce, Kim B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of object-oriented languages</subfield><subfield code="b">types and semantics</subfield><subfield code="c">Kim B. Bruce</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 384 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4151278-9</subfield><subfield code="a">Einführung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Objektorientierte Programmiersprache</subfield><subfield code="0">(DE-588)4172311-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UBPassau</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009754014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-009754014</subfield></datafield></record></collection> |
genre | (DE-588)4151278-9 Einführung gnd-content |
genre_facet | Einführung |
id | DE-604.BV014228426 |
illustrated | Not Illustrated |
indexdate | 2025-02-14T17:43:16Z |
institution | BVB |
isbn | 026202523X |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009754014 |
oclc_num | 248906365 |
open_access_boolean | |
owner | DE-739 DE-19 DE-BY-UBM DE-824 DE-473 DE-BY-UBG DE-634 DE-83 DE-11 |
owner_facet | DE-739 DE-19 DE-BY-UBM DE-824 DE-473 DE-BY-UBG DE-634 DE-83 DE-11 |
physical | XX, 384 S. |
publishDate | 2002 |
publishDateSearch | 2002 |
publishDateSort | 2002 |
publisher | MIT Press |
record_format | marc |
spellingShingle | Bruce, Kim B. Foundations of object-oriented languages types and semantics Objektorientierte Programmiersprache (DE-588)4172311-9 gnd |
subject_GND | (DE-588)4172311-9 (DE-588)4151278-9 |
title | Foundations of object-oriented languages types and semantics |
title_auth | Foundations of object-oriented languages types and semantics |
title_exact_search | Foundations of object-oriented languages types and semantics |
title_full | Foundations of object-oriented languages types and semantics Kim B. Bruce |
title_fullStr | Foundations of object-oriented languages types and semantics Kim B. Bruce |
title_full_unstemmed | Foundations of object-oriented languages types and semantics Kim B. Bruce |
title_short | Foundations of object-oriented languages |
title_sort | foundations of object oriented languages types and semantics |
title_sub | types and semantics |
topic | Objektorientierte Programmiersprache (DE-588)4172311-9 gnd |
topic_facet | Objektorientierte Programmiersprache Einführung |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009754014&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT brucekimb foundationsofobjectorientedlanguagestypesandsemantics |