Introduction to the theory of programming languages:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
New York [u.a.]
Prentice Hall
1990
|
| Ausgabe: | 1. publ., 1. print. |
| Schriftenreihe: | Prentice-Hall International series in computer science
|
| Schlagworte: | |
| Beschreibung: | XVI, 447 S. |
| ISBN: | 0134985109 0134985028 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021898617 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 910711s1990 |||| 00||| eng d | ||
| 020 | |a 0134985109 |9 0-13-498510-9 | ||
| 020 | |a 0134985028 |9 0-13-498502-8 | ||
| 035 | |a (OCoLC)16806030 | ||
| 035 | |a (DE-599)BVBBV021898617 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 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 | ||
| 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., 1. print. | ||
| 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 | |
| 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 Theorie |0 (DE-588)4059787-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Semantik |0 (DE-588)4054490-4 |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 | |8 1\p |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 | |8 2\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015113800 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804135844154441728 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV021898617 |
| 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 |
| ctrlnum | (OCoLC)16806030 (DE-599)BVBBV021898617 |
| 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 |
| discipline_str_mv | Informatik |
| edition | 1. publ., 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02145nam a2200577zc 4500</leader><controlfield tag="001">BV021898617</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">910711s1990 |||| 00||| eng d</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)BVBBV021898617</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</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="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., 1. print.</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="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">Theorie</subfield><subfield code="0">(DE-588)4059787-8</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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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="8">1\p</subfield><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="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015113800</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV021898617 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:04:32Z |
| indexdate | 2024-07-09T20:46:57Z |
| institution | BVB |
| isbn | 0134985109 0134985028 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015113800 |
| oclc_num | 16806030 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | XVI, 447 S. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | Prentice Hall |
| record_format | marc |
| series2 | Prentice-Hall International series in computer science |
| spelling | Meyer, Bertrand 1950- Verfasser (DE-588)112127843 aut Introduction to the theory of programming languages Bertrand Meyer 1. publ., 1. print. New York [u.a.] Prentice Hall 1990 XVI, 447 S. txt rdacontent n rdamedia nc rdacarrier Prentice-Hall International series in computer science 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 Theorie (DE-588)4059787-8 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s Theorie (DE-588)4059787-8 s 1\p DE-604 Semantik (DE-588)4054490-4 s 2\p DE-604 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| 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 Theorie (DE-588)4059787-8 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 gnd |
| subject_GND | (DE-588)4059787-8 (DE-588)4047409-4 (DE-588)4054490-4 |
| 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_exact_search_txtP | 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 Theorie (DE-588)4059787-8 gnd Programmiersprache (DE-588)4047409-4 gnd Semantik (DE-588)4054490-4 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 Theorie Programmiersprache Semantik |
| work_keys_str_mv | AT meyerbertrand introductiontothetheoryofprogramminglanguages |