Algorithmic program debugging:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Electronic eBook |
| Language: | English |
| Published: |
Cambridge, Mass.
MIT Press
c1983
|
| Series: | ACM distinguished dissertations
|
| Subjects: | |
| Online Access: | FHA01 FHI01 Volltext |
| Item Description: | Includes bibliographical references (p. [215]-229) and index |
| Physical Description: | 1 Online-Ressource (xiv, 232 p.) |
| ISBN: | 0262192187 0262256967 9780262192187 9780262256964 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042509135 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 006 | a m||| 00||| | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150417s1983 |||| o||u| ||||||eng d | ||
| 020 | |a 0262192187 |9 0-262-19218-7 | ||
| 020 | |a 0262256967 |c electronic bk. |9 0-262-25696-7 | ||
| 020 | |a 9780262192187 |9 978-0-262-19218-7 | ||
| 020 | |a 9780262256964 |c electronic bk. |9 978-0-262-25696-4 | ||
| 035 | |a (OCoLC)827012696 | ||
| 035 | |a (DE-599)BVBBV042509135 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-573 | ||
| 082 | 0 | |a 001.64/2 |2 22 | |
| 100 | 1 | |a Shapiro, Ehud Y. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algorithmic program debugging |c Ehud Y. Shapiro |
| 264 | 1 | |a Cambridge, Mass. |b MIT Press |c c1983 | |
| 300 | |a 1 Online-Ressource (xiv, 232 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a ACM distinguished dissertations | |
| 500 | |a Includes bibliographical references (p. [215]-229) and index | ||
| 502 | |a Thesis (Ph. D.)--Yale University, 1982 | ||
| 650 | 4 | |a débogage | |
| 650 | 4 | |a synthèse programme | |
| 650 | 4 | |a développement logiciel | |
| 650 | 4 | |a test logiciel | |
| 650 | 4 | |a PROLOG. | |
| 650 | 4 | |a programmation en logique | |
| 650 | 4 | |a Débogage | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a Programacao De Computadores |2 larpcal | |
| 650 | 7 | |a Debugging |2 swd | |
| 650 | 7 | |a PROLOG (Programmiersprache) |2 swd | |
| 650 | 7 | |a Débogage |2 ram | |
| 650 | 7 | |a Debugging in computer science |2 fast | |
| 650 | 7 | |a Prolog (Computer program language) |2 fast | |
| 650 | 4 | |a Debugging in computer science | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 650 | 0 | 7 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmänderung |0 (DE-588)4287920-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Debugging |0 (DE-588)4148954-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Korrektur |0 (DE-588)4205358-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 0 | 1 | |a Debugging |0 (DE-588)4148954-8 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 1 | 1 | |a Programmänderung |0 (DE-588)4287920-6 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 689 | 2 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 2 | |8 3\p |5 DE-604 | |
| 689 | 3 | 0 | |a Korrektur |0 (DE-588)4205358-4 |D s |
| 689 | 3 | |8 4\p |5 DE-604 | |
| 856 | 4 | 0 | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335 |x Verlag |3 Volltext |
| 912 | |a ZDB-37-IEM | ||
| 940 | 1 | |q ZDB-37-IEM_GB/15 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027943699 | ||
| 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 | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335 |l FHA01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
| 966 | e | |u http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335 |l FHI01 |p ZDB-37-IEM |x Verlag |3 Volltext | |
Record in the Search Index
| _version_ | 1804153253350342656 |
|---|---|
| any_adam_object | |
| author | Shapiro, Ehud Y. |
| author_facet | Shapiro, Ehud Y. |
| author_role | aut |
| author_sort | Shapiro, Ehud Y. |
| author_variant | e y s ey eys |
| building | Verbundindex |
| bvnumber | BV042509135 |
| collection | ZDB-37-IEM |
| ctrlnum | (OCoLC)827012696 (DE-599)BVBBV042509135 |
| dewey-full | 001.64/2 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 001 - Knowledge |
| dewey-raw | 001.64/2 |
| dewey-search | 001.64/2 |
| dewey-sort | 11.64 12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Allgemeines |
| format | Thesis Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03361nmm a2200841zc 4500</leader><controlfield tag="001">BV042509135</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="006">a m||| 00||| </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150417s1983 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262192187</subfield><subfield code="9">0-262-19218-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262256967</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-262-25696-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262192187</subfield><subfield code="9">978-0-262-19218-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780262256964</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-262-25696-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)827012696</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042509135</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64/2</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shapiro, Ehud Y.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algorithmic program debugging</subfield><subfield code="c">Ehud Y. Shapiro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">MIT Press</subfield><subfield code="c">c1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xiv, 232 p.)</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 distinguished dissertations</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. [215]-229) and index</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Thesis (Ph. D.)--Yale University, 1982</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">débogage</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">synthèse programme</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">développement logiciel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">test logiciel</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">PROLOG.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">programmation en logique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Débogage</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programacao De Computadores</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Debugging</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG (Programmiersprache)</subfield><subfield code="2">swd</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Débogage</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Debugging in computer science</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Prolog (Computer program language)</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Debugging in computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Prolog (Computer program language)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmänderung</subfield><subfield code="0">(DE-588)4287920-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektur</subfield><subfield code="0">(DE-588)4205358-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Debugging</subfield><subfield code="0">(DE-588)4148954-8</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">PROLOG</subfield><subfield code="g">Programmiersprache</subfield><subfield code="0">(DE-588)4047464-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmänderung</subfield><subfield code="0">(DE-588)4287920-6</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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Korrektur</subfield><subfield code="0">(DE-588)4205358-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-37-IEM</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-37-IEM_GB/15</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027943699</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><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-37-IEM</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042509135 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:23:40Z |
| institution | BVB |
| isbn | 0262192187 0262256967 9780262192187 9780262256964 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027943699 |
| oclc_num | 827012696 |
| open_access_boolean | |
| owner | DE-Aug4 DE-573 |
| owner_facet | DE-Aug4 DE-573 |
| physical | 1 Online-Ressource (xiv, 232 p.) |
| psigel | ZDB-37-IEM ZDB-37-IEM_GB/15 |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| publisher | MIT Press |
| record_format | marc |
| series2 | ACM distinguished dissertations |
| spelling | Shapiro, Ehud Y. Verfasser aut Algorithmic program debugging Ehud Y. Shapiro Cambridge, Mass. MIT Press c1983 1 Online-Ressource (xiv, 232 p.) txt rdacontent c rdamedia cr rdacarrier ACM distinguished dissertations Includes bibliographical references (p. [215]-229) and index Thesis (Ph. D.)--Yale University, 1982 débogage synthèse programme développement logiciel test logiciel PROLOG. programmation en logique Débogage Prolog (Langage de programmation) Programacao De Computadores larpcal Debugging swd PROLOG (Programmiersprache) swd Débogage ram Debugging in computer science fast Prolog (Computer program language) fast Debugging in computer science Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Programmänderung (DE-588)4287920-6 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Debugging (DE-588)4148954-8 gnd rswk-swf Korrektur (DE-588)4205358-4 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content PROLOG Programmiersprache (DE-588)4047464-1 s Debugging (DE-588)4148954-8 s 1\p DE-604 Programmänderung (DE-588)4287920-6 s 2\p DE-604 Programmierung (DE-588)4076370-5 s 3\p DE-604 Korrektur (DE-588)4205358-4 s 4\p DE-604 http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335 Verlag Volltext 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Shapiro, Ehud Y. Algorithmic program debugging débogage synthèse programme développement logiciel test logiciel PROLOG. programmation en logique Débogage Prolog (Langage de programmation) Programacao De Computadores larpcal Debugging swd PROLOG (Programmiersprache) swd Débogage ram Debugging in computer science fast Prolog (Computer program language) fast Debugging in computer science Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd Programmänderung (DE-588)4287920-6 gnd Programmierung (DE-588)4076370-5 gnd Debugging (DE-588)4148954-8 gnd Korrektur (DE-588)4205358-4 gnd |
| subject_GND | (DE-588)4047464-1 (DE-588)4287920-6 (DE-588)4076370-5 (DE-588)4148954-8 (DE-588)4205358-4 (DE-588)4113937-9 |
| title | Algorithmic program debugging |
| title_auth | Algorithmic program debugging |
| title_exact_search | Algorithmic program debugging |
| title_full | Algorithmic program debugging Ehud Y. Shapiro |
| title_fullStr | Algorithmic program debugging Ehud Y. Shapiro |
| title_full_unstemmed | Algorithmic program debugging Ehud Y. Shapiro |
| title_short | Algorithmic program debugging |
| title_sort | algorithmic program debugging |
| topic | débogage synthèse programme développement logiciel test logiciel PROLOG. programmation en logique Débogage Prolog (Langage de programmation) Programacao De Computadores larpcal Debugging swd PROLOG (Programmiersprache) swd Débogage ram Debugging in computer science fast Prolog (Computer program language) fast Debugging in computer science Prolog (Computer program language) PROLOG Programmiersprache (DE-588)4047464-1 gnd Programmänderung (DE-588)4287920-6 gnd Programmierung (DE-588)4076370-5 gnd Debugging (DE-588)4148954-8 gnd Korrektur (DE-588)4205358-4 gnd |
| topic_facet | débogage synthèse programme développement logiciel test logiciel PROLOG. programmation en logique Débogage Prolog (Langage de programmation) Programacao De Computadores Debugging PROLOG (Programmiersprache) Debugging in computer science Prolog (Computer program language) PROLOG Programmiersprache Programmänderung Programmierung Korrektur Hochschulschrift |
| url | http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267335 |
| work_keys_str_mv | AT shapiroehudy algorithmicprogramdebugging |