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. |
| Schriftenreihe: | Prentice Hall international series in computer science
|
| Schlagworte: | |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XVI, 447 S. |
| ISBN: | 0134985109 0134985028 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV004042361 | ||
| 003 | DE-604 | ||
| 005 | 19920124 | ||
| 007 | t | ||
| 008 | 900919s1990 |||| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002529167 | ||
Datensatz im Suchindex
| _version_ | 1804118271124832256 |
|---|---|
| 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>02053nam 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 |||| 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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002529167</subfield></datafield></record></collection> |
| id | DE-604.BV004042361 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:07:38Z |
| 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 |
| spelling | Meyer, Bertrand 1950- Verfasser (DE-588)112127843 aut Introduction to the theory of programming languages Bertrand Meyer 1. publ. New York u.a. Prentice Hall 1990 XVI, 447 S. txt rdacontent n rdamedia nc rdacarrier Prentice Hall international series in computer science Literaturangaben 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 rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Theorie (DE-588)4059787-8 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s Theorie (DE-588)4059787-8 s DE-604 Semantik (DE-588)4054490-4 s DE-188 |
| 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 |