Formal specification of programming languages: a panoramic primer
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Englewood Cliffs, NJ
Prentice-Hall
1981
|
| Edition: | 1. print. |
| Subjects: | |
| Physical Description: | 245 S. |
| ISBN: | 0133290522 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021928167 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 960126s1981 |||| 00||| eng d | ||
| 020 | |a 0133290522 |9 0-13-329052-2 | ||
| 035 | |a (OCoLC)6708993 | ||
| 035 | |a (DE-599)BVBBV021928167 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 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 |
| 250 | |a 1. print. | ||
| 264 | 1 | |a Englewood Cliffs, NJ |b Prentice-Hall |c 1981 | |
| 300 | |a 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 Syntax |0 (DE-588)4058779-4 |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 | |
| 689 | 2 | 0 | |a Syntax |0 (DE-588)4058779-4 |D s |
| 689 | 2 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015143324 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804135884182781952 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV021928167 |
| 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)BVBBV021928167 |
| 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 |
| discipline_str_mv | Allgemeines Informatik Wirtschaftswissenschaften |
| edition | 1. print. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01953nam a2200565zc 4500</leader><controlfield tag="001">BV021928167</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">960126s1981 |||| 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)BVBBV021928167</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">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="250" ind1=" " ind2=" "><subfield code="a">1. print.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Englewood Cliffs, NJ</subfield><subfield code="b">Prentice-Hall</subfield><subfield code="c">1981</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">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">Syntax</subfield><subfield code="0">(DE-588)4058779-4</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="689" ind1="2" ind2="0"><subfield code="a">Syntax</subfield><subfield code="0">(DE-588)4058779-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015143324</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.BV021928167 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:06:07Z |
| indexdate | 2024-07-09T20:47:36Z |
| institution | BVB |
| isbn | 0133290522 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015143324 |
| oclc_num | 6708993 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 245 S. |
| 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 1. print. Englewood Cliffs, NJ Prentice-Hall 1981 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 Syntax (DE-588)4058779-4 s 1\p DE-604 Semantik (DE-588)4054490-4 s 2\p DE-604 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 | 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_exact_search_txtP | 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 |