Formal specification of programming languages: A panoramic primer
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Englewood Cliffs
Prentice-Hall
1981
|
| Schlagworte: | |
| Beschreibung: | IX, 245 S. |
| ISBN: | 0133290522 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002299065 | ||
| 003 | DE-604 | ||
| 005 | 20160112 | ||
| 007 | t | ||
| 008 | 890928s1981 |||| 00||| eng d | ||
| 020 | |a 0133290522 |9 0-13-329052-2 | ||
| 035 | |a (OCoLC)6708993 | ||
| 035 | |a (DE-599)BVBBV002299065 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-29T |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.7 | |
| 082 | 0 | |a 001.64/24 |2 19 | |
| 084 | |a QH 500 |0 (DE-625)141607: |2 rvk | ||
| 084 | |a ST 240 |0 (DE-625)143625: |2 rvk | ||
| 100 | 1 | |a Pagan, Frank G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formal specification of programming languages |b A panoramic primer |
| 264 | 1 | |a Englewood Cliffs |b Prentice-Hall |c 1981 | |
| 300 | |a IX, 245 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Programmeertalen |2 gtt | |
| 650 | 7 | |a grammaire langage |2 inriac | |
| 650 | 7 | |a métalangage |2 inriac | |
| 650 | 7 | |a programmation |2 inriac | |
| 650 | 7 | |a syntaxe langage programmation |2 inriac | |
| 650 | 7 | |a sémantique langage |2 inriac | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Syntax | |
| 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 Syntax |0 (DE-588)4058779-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 0 | 1 | |a Semantik |0 (DE-588)4054490-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | 1 | |a Syntax |0 (DE-588)4058779-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 940 | 1 | |q TUB-nveb | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001511088 | ||
Datensatz im Suchindex
| _version_ | 1804116759955898368 |
|---|---|
| any_adam_object | |
| author | Pagan, Frank G. |
| author_facet | Pagan, Frank G. |
| author_role | aut |
| author_sort | Pagan, Frank G. |
| author_variant | f g p fg fgp |
| building | Verbundindex |
| bvnumber | BV002299065 |
| 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 | QH 500 ST 240 |
| ctrlnum | (OCoLC)6708993 (DE-599)BVBBV002299065 |
| dewey-full | 001.64/24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64/24 |
| dewey-search | 001.64/24 |
| dewey-sort | 11.64 224 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines Informatik Wirtschaftswissenschaften |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01756nam a2200517 c 4500</leader><controlfield tag="001">BV002299065</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160112 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890928s1981 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0133290522</subfield><subfield code="9">0-13-329052-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)6708993</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002299065</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-29T</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</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">001.64/24</subfield><subfield code="2">19</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">QH 500</subfield><subfield code="0">(DE-625)141607:</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">Pagan, Frank G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal specification of programming languages</subfield><subfield code="b">A panoramic primer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs</subfield><subfield code="b">Prentice-Hall</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 245 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=" " ind2="7"><subfield code="a">Programmeertalen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">grammaire langage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">métalangage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">syntaxe langage programmation</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><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Syntax</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">Syntax</subfield><subfield code="0">(DE-588)4058779-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">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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">Syntax</subfield><subfield code="0">(DE-588)4058779-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">TUB-nveb</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001511088</subfield></datafield></record></collection> |
| id | DE-604.BV002299065 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:43:37Z |
| institution | BVB |
| isbn | 0133290522 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001511088 |
| oclc_num | 6708993 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-11 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-29T DE-83 DE-11 DE-188 |
| physical | IX, 245 S. |
| psigel | TUB-nveb |
| publishDate | 1981 |
| publishDateSearch | 1981 |
| publishDateSort | 1981 |
| publisher | Prentice-Hall |
| record_format | marc |
| spelling | Pagan, Frank G. Verfasser aut Formal specification of programming languages A panoramic primer Englewood Cliffs Prentice-Hall 1981 IX, 245 S. txt rdacontent n rdamedia nc rdacarrier Programmeertalen gtt grammaire langage inriac métalangage inriac programmation inriac syntaxe langage programmation inriac sémantique langage inriac Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Semantik (DE-588)4054490-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf Syntax (DE-588)4058779-4 gnd rswk-swf Programmiersprache (DE-588)4047409-4 s Semantik (DE-588)4054490-4 s DE-604 Syntax (DE-588)4058779-4 s |
| spellingShingle | Pagan, Frank G. Formal specification of programming languages A panoramic primer Programmeertalen gtt grammaire langage inriac métalangage inriac programmation inriac syntaxe langage programmation inriac sémantique langage inriac Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd Syntax (DE-588)4058779-4 gnd |
| subject_GND | (DE-588)4054490-4 (DE-588)4047409-4 (DE-588)4058779-4 |
| title | Formal specification of programming languages A panoramic primer |
| title_auth | Formal specification of programming languages A panoramic primer |
| title_exact_search | Formal specification of programming languages A panoramic primer |
| title_full | Formal specification of programming languages A panoramic primer |
| title_fullStr | Formal specification of programming languages A panoramic primer |
| title_full_unstemmed | Formal specification of programming languages A panoramic primer |
| title_short | Formal specification of programming languages |
| title_sort | formal specification of programming languages a panoramic primer |
| title_sub | A panoramic primer |
| topic | Programmeertalen gtt grammaire langage inriac métalangage inriac programmation inriac syntaxe langage programmation inriac sémantique langage inriac Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Semantik (DE-588)4054490-4 gnd Programmiersprache (DE-588)4047409-4 gnd Syntax (DE-588)4058779-4 gnd |
| topic_facet | Programmeertalen grammaire langage métalangage programmation syntaxe langage programmation sémantique langage Programming languages (Electronic computers) Semantics Programming languages (Electronic computers) Syntax Semantik Programmiersprache Syntax |
| work_keys_str_mv | AT paganfrankg formalspecificationofprogramminglanguagesapanoramicprimer |