Introduction to the theory of programming languages:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
New York u.a.
Prentice Hall
1990
|
| Ausgabe: | 1. publ. |
| Schriftenreihe: | Prentice Hall international series in computer science
|
| Schlagwörter: | |
| Beschreibung: | Literaturangaben |
| Umfang: | XVI, 447 S. |
| ISBN: | 0134985109 0134985028 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004042361 | ||
| 003 | DE-604 | ||
| 005 | 19920124 | ||
| 007 | t| | ||
| 008 | 900919s1990 xx |||| 00||| engod | ||
| 020 | |a 0134985109 |9 0-13-498510-9 | ||
| 020 | |a 0134985028 |9 0-13-498502-8 | ||
| 035 | |a (OCoLC)16806030 | ||
| 035 | |a (DE-599)BVBBV004042361 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 005.13 |2 19 | |
| 084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 084 | |a DAT 350f |2 stub | ||
| 100 | 1 | |a Meyer, Bertrand |d 1950- |e Verfasser |0 (DE-588)112127843 |4 aut | |
| 245 | 1 | 0 | |a Introduction to the theory of programming languages |c Bertrand Meyer |
| 250 | |a 1. publ. | ||
| 264 | 1 | |a New York u.a. |b Prentice Hall |c 1990 | |
| 300 | |a XVI, 447 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Prentice Hall international series in computer science | |
| 500 | |a Literaturangaben | ||
| 650 | 7 | |a Computacao (Metodologia E Tecnicas) |2 larpcal | |
| 650 | 7 | |a Langages de programmation - Sémantique |2 ram | |
| 650 | 7 | |a Langages de programmation |2 ram | |
| 650 | 7 | |a Linguagens De Programacao (Computadores) |2 larpcal | |
| 650 | 7 | |a lambda calcul |2 inriac | |
| 650 | 7 | |a sémantique dénotationnelle |2 inriac | |
| 650 | 7 | |a sémantique langage |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Theorie |0 (DE-588)4059787-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 1 | |5 DE-188 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-002529167 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 DAT 350f 2001 A 25015 |
|---|---|
| DE-BY-TUM_katkey | 500752 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040020539453 |
| _version_ | 1821938949401083904 |
| any_adam_object | |
| author | Meyer, Bertrand 1950- |
| author_GND | (DE-588)112127843 |
| author_facet | Meyer, Bertrand 1950- |
| author_role | aut |
| author_sort | Meyer, Bertrand 1950- |
| author_variant | b m bm |
| building | Verbundindex |
| bvnumber | BV004042361 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.7 |
| callnumber-search | QA76.7 |
| callnumber-sort | QA 276.7 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 130 ST 240 |
| classification_tum | DAT 350f |
| ctrlnum | (OCoLC)16806030 (DE-599)BVBBV004042361 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 1. publ. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02054nam a2200577 c 4500</leader><controlfield tag="001">BV004042361</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19920124 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">900919s1990 xx |||| 00||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0134985109</subfield><subfield code="9">0-13-498510-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0134985028</subfield><subfield code="9">0-13-498502-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)16806030</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004042361</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 240</subfield><subfield code="0">(DE-625)143625:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meyer, Bertrand</subfield><subfield code="d">1950-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112127843</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to the theory of programming languages</subfield><subfield code="c">Bertrand Meyer</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1. publ.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York u.a.</subfield><subfield code="b">Prentice Hall</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 447 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="490" ind1="0" ind2=" "><subfield code="a">Prentice Hall international series in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computacao (Metodologia E Tecnicas)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation - Sémantique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Linguagens De Programacao (Computadores)</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">lambda calcul</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique dénotationnelle</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">sémantique langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Theorie</subfield><subfield code="0">(DE-588)4059787-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-188</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002529167</subfield></datafield></record></collection> |
| id | DE-604.BV004042361 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T08:12:43Z |
| institution | BVB |
| isbn | 0134985109 0134985028 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002529167 |
| oclc_num | 16806030 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-83 DE-188 |
| physical | XVI, 447 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice Hall international series in computer science |
| spellingShingle | Meyer, Bertrand 1950- Introduction to the theory of programming languages Computacao (Metodologia E Tecnicas) larpcal Langages de programmation - Sémantique ram Langages de programmation ram Linguagens De Programacao (Computadores) larpcal lambda calcul inriac sémantique dénotationnelle inriac sémantique langage inriac Programming languages (Electronic computers) Programming languages (Electronic computers) Semantics Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd Theorie (DE-588)4059787-8 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4047409-4 (DE-588)4059787-8 |
| title | Introduction to the theory of programming languages |
| title_auth | Introduction to the theory of programming languages |
| title_exact_search | Introduction to the theory of programming languages |
| title_full | Introduction to the theory of programming languages Bertrand Meyer |
| title_fullStr | Introduction to the theory of programming languages Bertrand Meyer |
| title_full_unstemmed | Introduction to the theory of programming languages Bertrand Meyer |
| title_short | Introduction to the theory of programming languages |
| title_sort | introduction to the theory of programming languages |
| topic | Computacao (Metodologia E Tecnicas) larpcal Langages de programmation - Sémantique ram Langages de programmation ram Linguagens De Programacao (Computadores) larpcal lambda calcul inriac sémantique dénotationnelle inriac sémantique langage inriac Programming languages (Electronic computers) Programming languages (Electronic computers) Semantics Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd Theorie (DE-588)4059787-8 gnd |
| topic_facet | Computacao (Metodologia E Tecnicas) Langages de programmation - Sémantique Langages de programmation Linguagens De Programacao (Computadores) lambda calcul sémantique dénotationnelle sémantique langage Programming languages (Electronic computers) Programming languages (Electronic computers) Semantics Semantik Programmiersprache Theorie |
| work_keys_str_mv | AT meyerbertrand introductiontothetheoryofprogramminglanguages |
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 DAT 350f 2001 A 25015 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |