Formal definition of programming languages: with an application to the definition of ALGOL 60
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Math. Centrum
1970
|
| Ausgabe: | 2. ed. |
| Schriftenreihe: | Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts
16 |
| Schlagworte: | |
| Beschreibung: | 207 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV004724829 | ||
| 003 | DE-604 | ||
| 005 | 20151021 | ||
| 007 | t | ||
| 008 | 920225s1970 |||| 00||| engod | ||
| 035 | |a (OCoLC)876527 | ||
| 035 | |a (DE-599)BVBBV004724829 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.5 | |
| 082 | 0 | |a 519.92 |b B168f, 1970 | |
| 084 | |a 68B05 |2 msc | ||
| 100 | 1 | |a Bakker, Jacobus W. de |d 1939-2012 |e Verfasser |0 (DE-588)1047965461 |4 aut | |
| 245 | 1 | 0 | |a Formal definition of programming languages |b with an application to the definition of ALGOL 60 |c by J. W. de Bakker |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a Amsterdam |b Math. Centrum |c 1970 | |
| 300 | |a 207 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts |v 16 | |
| 650 | 4 | |a ALGOL (Computer program language) | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 830 | 0 | |a Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts |v 16 |w (DE-604)BV000893527 |9 16 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002904682 | ||
Datensatz im Suchindex
| _version_ | 1804118842750795776 |
|---|---|
| any_adam_object | |
| author | Bakker, Jacobus W. de 1939-2012 |
| author_GND | (DE-588)1047965461 |
| author_facet | Bakker, Jacobus W. de 1939-2012 |
| author_role | aut |
| author_sort | Bakker, Jacobus W. de 1939-2012 |
| author_variant | j w d b jwd jwdb |
| building | Verbundindex |
| bvnumber | BV004724829 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.5 |
| callnumber-search | QA76.5 |
| callnumber-sort | QA 276.5 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)876527 (DE-599)BVBBV004724829 |
| dewey-full | 519.92 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 519 - Probabilities and applied mathematics |
| dewey-raw | 519.92 |
| dewey-search | 519.92 |
| dewey-sort | 3519.92 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01164nam a2200337 cb4500</leader><controlfield tag="001">BV004724829</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20151021 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920225s1970 |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)876527</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004724829</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-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">519.92</subfield><subfield code="b">B168f, 1970</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">68B05</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bakker, Jacobus W. de</subfield><subfield code="d">1939-2012</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1047965461</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal definition of programming languages</subfield><subfield code="b">with an application to the definition of ALGOL 60</subfield><subfield code="c">by J. W. de Bakker</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Math. Centrum</subfield><subfield code="c">1970</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">207 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="1" ind2=" "><subfield code="a">Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts</subfield><subfield code="v">16</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">ALGOL (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts</subfield><subfield code="v">16</subfield><subfield code="w">(DE-604)BV000893527</subfield><subfield code="9">16</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002904682</subfield></datafield></record></collection> |
| id | DE-604.BV004724829 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:16:44Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002904682 |
| oclc_num | 876527 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-83 DE-188 |
| physical | 207 S. |
| publishDate | 1970 |
| publishDateSearch | 1970 |
| publishDateSort | 1970 |
| publisher | Math. Centrum |
| record_format | marc |
| series | Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts |
| series2 | Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts |
| spelling | Bakker, Jacobus W. de 1939-2012 Verfasser (DE-588)1047965461 aut Formal definition of programming languages with an application to the definition of ALGOL 60 by J. W. de Bakker 2. ed. Amsterdam Math. Centrum 1970 207 S. txt rdacontent n rdamedia nc rdacarrier Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts 16 ALGOL (Computer program language) Programming languages (Electronic computers) Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts 16 (DE-604)BV000893527 16 |
| spellingShingle | Bakker, Jacobus W. de 1939-2012 Formal definition of programming languages with an application to the definition of ALGOL 60 Mathematisch Centrum <Amsterdam>: Mathematical Centre tracts ALGOL (Computer program language) Programming languages (Electronic computers) |
| title | Formal definition of programming languages with an application to the definition of ALGOL 60 |
| title_auth | Formal definition of programming languages with an application to the definition of ALGOL 60 |
| title_exact_search | Formal definition of programming languages with an application to the definition of ALGOL 60 |
| title_full | Formal definition of programming languages with an application to the definition of ALGOL 60 by J. W. de Bakker |
| title_fullStr | Formal definition of programming languages with an application to the definition of ALGOL 60 by J. W. de Bakker |
| title_full_unstemmed | Formal definition of programming languages with an application to the definition of ALGOL 60 by J. W. de Bakker |
| title_short | Formal definition of programming languages |
| title_sort | formal definition of programming languages with an application to the definition of algol 60 |
| title_sub | with an application to the definition of ALGOL 60 |
| topic | ALGOL (Computer program language) Programming languages (Electronic computers) |
| topic_facet | ALGOL (Computer program language) Programming languages (Electronic computers) |
| volume_link | (DE-604)BV000893527 |
| work_keys_str_mv | AT bakkerjacobuswde formaldefinitionofprogramminglanguageswithanapplicationtothedefinitionofalgol60 |