Theories of programming: the life and works of Tony Hoare
Gespeichert in:
| Weitere beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
New York, NY
Association for Computing Machinery
[2021]
|
| Ausgabe: | First edition |
| Schriftenreihe: | ACM books
#39 |
| Links: | https://doi.org/10.1145/3477355 https://doi.org/10.1145/3477355 https://doi.org/10.1145/3477355 |
| Umfang: | 1 Online-Ressource (xx, 429 Seiten) |
| ISBN: | 9781450387316 9781450387309 |
| DOI: | 10.1145/3477355 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV047803382 | ||
| 003 | DE-604 | ||
| 005 | 20220705 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220127s2021 xx o|||| 00||| eng d | ||
| 020 | |a 9781450387316 |c Online |9 978-1-4503-8731-6 | ||
| 020 | |a 9781450387309 |c EPUB |9 978-1-4503-8730-9 | ||
| 024 | 7 | |a 10.1145/3477355 |2 doi | |
| 035 | |a (ZDB-15-ACB)978-1-4503-8731-6 | ||
| 035 | |a (OCoLC)1294734510 | ||
| 035 | |a (DE-599)KXP1786285347 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-20 | ||
| 245 | 1 | 0 | |a Theories of programming |b the life and works of Tony Hoare |c Cliff B. Jones (Newcastle University, UK), Jayadev Misra (The University of Texas at Austin, US) |
| 250 | |a First edition | ||
| 264 | 1 | |a New York, NY |b Association for Computing Machinery |c [2021] | |
| 300 | |a 1 Online-Ressource (xx, 429 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ACM books |v #39 | |
| 700 | 1 | |a Jones, Cliff B. |d 1944- |0 (DE-588)1048142760 |4 edt | |
| 700 | 1 | |a Misra, Jayadev |0 (DE-588)1246302411 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Hardcover |z 978-1-4503-8728-6 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, Paperback |z 978-1-4503-8729-3 |
| 856 | 4 | 0 | |u https://doi.org/10.1145/3477355 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-15-ACB | ||
| 912 | |a ZDB-15-ACM | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033187074 | |
| 966 | e | |u https://doi.org/10.1145/3477355 |l DE-20 |p ZDB-15-ACB |q UBW_Paketkauf |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1145/3477355 |l DE-706 |p ZDB-15-ACB |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1818988834408366080 |
|---|---|
| any_adam_object | |
| author2 | Jones, Cliff B. 1944- Misra, Jayadev |
| author2_role | edt edt |
| author2_variant | c b j cb cbj j m jm |
| author_GND | (DE-588)1048142760 (DE-588)1246302411 |
| author_facet | Jones, Cliff B. 1944- Misra, Jayadev |
| building | Verbundindex |
| bvnumber | BV047803382 |
| collection | ZDB-15-ACB ZDB-15-ACM |
| ctrlnum | (ZDB-15-ACB)978-1-4503-8731-6 (OCoLC)1294734510 (DE-599)KXP1786285347 |
| doi_str_mv | 10.1145/3477355 |
| edition | First edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01648nam a2200409 cb4500</leader><controlfield tag="001">BV047803382</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220705 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220127s2021 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450387316</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4503-8731-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450387309</subfield><subfield code="c">EPUB</subfield><subfield code="9">978-1-4503-8730-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1145/3477355</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-15-ACB)978-1-4503-8731-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1294734510</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)KXP1786285347</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</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><subfield code="a">DE-20</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Theories of programming</subfield><subfield code="b">the life and works of Tony Hoare</subfield><subfield code="c">Cliff B. Jones (Newcastle University, UK), Jayadev Misra (The University of Texas at Austin, US)</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">First edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Association for Computing Machinery</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xx, 429 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">ACM books</subfield><subfield code="v">#39</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jones, Cliff B.</subfield><subfield code="d">1944-</subfield><subfield code="0">(DE-588)1048142760</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Misra, Jayadev</subfield><subfield code="0">(DE-588)1246302411</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Hardcover</subfield><subfield code="z">978-1-4503-8728-6</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-1-4503-8729-3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1145/3477355</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-15-ACB</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-15-ACM</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033187074</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1145/3477355</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-15-ACB</subfield><subfield code="q">UBW_Paketkauf</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1145/3477355</subfield><subfield code="l">DE-706</subfield><subfield code="p">ZDB-15-ACB</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV047803382 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T19:28:53Z |
| institution | BVB |
| isbn | 9781450387316 9781450387309 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033187074 |
| oclc_num | 1294734510 |
| open_access_boolean | |
| owner | DE-706 DE-20 |
| owner_facet | DE-706 DE-20 |
| physical | 1 Online-Ressource (xx, 429 Seiten) |
| psigel | ZDB-15-ACB ZDB-15-ACM ZDB-15-ACB UBW_Paketkauf |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Association for Computing Machinery |
| record_format | marc |
| series2 | ACM books |
| spelling | Theories of programming the life and works of Tony Hoare Cliff B. Jones (Newcastle University, UK), Jayadev Misra (The University of Texas at Austin, US) First edition New York, NY Association for Computing Machinery [2021] 1 Online-Ressource (xx, 429 Seiten) txt rdacontent c rdamedia cr rdacarrier ACM books #39 Jones, Cliff B. 1944- (DE-588)1048142760 edt Misra, Jayadev (DE-588)1246302411 edt Erscheint auch als Druck-Ausgabe, Hardcover 978-1-4503-8728-6 Erscheint auch als Druck-Ausgabe, Paperback 978-1-4503-8729-3 https://doi.org/10.1145/3477355 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Theories of programming the life and works of Tony Hoare |
| title | Theories of programming the life and works of Tony Hoare |
| title_auth | Theories of programming the life and works of Tony Hoare |
| title_exact_search | Theories of programming the life and works of Tony Hoare |
| title_full | Theories of programming the life and works of Tony Hoare Cliff B. Jones (Newcastle University, UK), Jayadev Misra (The University of Texas at Austin, US) |
| title_fullStr | Theories of programming the life and works of Tony Hoare Cliff B. Jones (Newcastle University, UK), Jayadev Misra (The University of Texas at Austin, US) |
| title_full_unstemmed | Theories of programming the life and works of Tony Hoare Cliff B. Jones (Newcastle University, UK), Jayadev Misra (The University of Texas at Austin, US) |
| title_short | Theories of programming |
| title_sort | theories of programming the life and works of tony hoare |
| title_sub | the life and works of Tony Hoare |
| url | https://doi.org/10.1145/3477355 |
| work_keys_str_mv | AT jonescliffb theoriesofprogrammingthelifeandworksoftonyhoare AT misrajayadev theoriesofprogrammingthelifeandworksoftonyhoare |