Algorithmic program debugging:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. u.a.
MIT Pr.
1983
|
| Schriftenreihe: | ACM distinguished dissertation
|
| Schlagworte: | |
| Beschreibung: | Literaturverz. S. 215 - 229. - Zugl.: New Haven, Conn., Univ., Diss., 1982 |
| Beschreibung: | XIII, 232 S. |
| ISBN: | 0262192187 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV006501997 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 930210s1983 m||| 00||| eng d | ||
| 020 | |a 0262192187 |9 0-262-19218-7 | ||
| 035 | |a (OCoLC)9154518 | ||
| 035 | |a (DE-599)BVBBV006501997 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 001.64/2 |2 19 | |
| 100 | 1 | |a Shapiro, Ehud |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Algorithmic program debugging |
| 264 | 1 | |a Cambridge, Mass. u.a. |b MIT Pr. |c 1983 | |
| 300 | |a XIII, 232 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a ACM distinguished dissertation | |
| 500 | |a Literaturverz. S. 215 - 229. - Zugl.: New Haven, Conn., Univ., Diss., 1982 | ||
| 650 | 4 | |a Débogage | |
| 650 | 7 | |a PROLOG |2 inriac | |
| 650 | 7 | |a Programacao De Computadores |2 larpcal | |
| 650 | 4 | |a Prolog (Langage de programmation) | |
| 650 | 7 | |a débogage |2 inriac | |
| 650 | 7 | |a développement logiciel |2 inriac | |
| 650 | 7 | |a programmation en logique |2 inriac | |
| 650 | 7 | |a synthèse programme |2 inriac | |
| 650 | 7 | |a test logiciel |2 inriac | |
| 650 | 4 | |a Debugging in computer science | |
| 650 | 4 | |a Prolog (Computer program language) | |
| 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 |
| 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 |
| 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-004135614 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804120764821012480 |
|---|---|
| any_adam_object | |
| author | Shapiro, Ehud |
| author_facet | Shapiro, Ehud |
| author_role | aut |
| author_sort | Shapiro, Ehud |
| author_variant | e s es |
| building | Verbundindex |
| bvnumber | BV006501997 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.6 |
| callnumber-search | QA76.6 |
| callnumber-sort | QA 276.6 |
| callnumber-subject | QA - Mathematics |
| ctrlnum | (OCoLC)9154518 (DE-599)BVBBV006501997 |
| 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 | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02527nam a2200673 c 4500</leader><controlfield tag="001">BV006501997</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">930210s1983 m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0262192187</subfield><subfield code="9">0-262-19218-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)9154518</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006501997</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-739</subfield><subfield code="a">DE-20</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.6</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">001.64/2</subfield><subfield code="2">19</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Shapiro, Ehud</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></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass. u.a.</subfield><subfield code="b">MIT Pr.</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 232 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="0" ind2=" "><subfield code="a">ACM distinguished dissertation</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 215 - 229. - Zugl.: New Haven, Conn., Univ., Diss., 1982</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Débogage</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">PROLOG</subfield><subfield code="2">inriac</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="4"><subfield code="a">Prolog (Langage de programmation)</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">débogage</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">développement logiciel</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">programmation en logique</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">synthèse programme</subfield><subfield code="2">inriac</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">test logiciel</subfield><subfield code="2">inriac</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">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="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="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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004135614</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></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV006501997 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T16:47:17Z |
| institution | BVB |
| isbn | 0262192187 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-004135614 |
| oclc_num | 9154518 |
| open_access_boolean | |
| owner | DE-739 DE-20 |
| owner_facet | DE-739 DE-20 |
| physical | XIII, 232 S. |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| publisher | MIT Pr. |
| record_format | marc |
| series2 | ACM distinguished dissertation |
| spelling | Shapiro, Ehud Verfasser aut Algorithmic program debugging Cambridge, Mass. u.a. MIT Pr. 1983 XIII, 232 S. txt rdacontent n rdamedia nc rdacarrier ACM distinguished dissertation Literaturverz. S. 215 - 229. - Zugl.: New Haven, Conn., Univ., Diss., 1982 Débogage PROLOG inriac Programacao De Computadores larpcal Prolog (Langage de programmation) débogage inriac développement logiciel inriac programmation en logique inriac synthèse programme inriac test logiciel inriac Debugging in computer science Prolog (Computer program language) Programmierung (DE-588)4076370-5 gnd rswk-swf Debugging (DE-588)4148954-8 gnd rswk-swf Korrektur (DE-588)4205358-4 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Programmänderung (DE-588)4287920-6 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 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 Algorithmic program debugging Débogage PROLOG inriac Programacao De Computadores larpcal Prolog (Langage de programmation) débogage inriac développement logiciel inriac programmation en logique inriac synthèse programme inriac test logiciel inriac Debugging in computer science Prolog (Computer program language) Programmierung (DE-588)4076370-5 gnd Debugging (DE-588)4148954-8 gnd Korrektur (DE-588)4205358-4 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Programmänderung (DE-588)4287920-6 gnd |
| subject_GND | (DE-588)4076370-5 (DE-588)4148954-8 (DE-588)4205358-4 (DE-588)4047464-1 (DE-588)4287920-6 (DE-588)4113937-9 |
| title | Algorithmic program debugging |
| title_auth | Algorithmic program debugging |
| title_exact_search | Algorithmic program debugging |
| title_full | Algorithmic program debugging |
| title_fullStr | Algorithmic program debugging |
| title_full_unstemmed | Algorithmic program debugging |
| title_short | Algorithmic program debugging |
| title_sort | algorithmic program debugging |
| topic | Débogage PROLOG inriac Programacao De Computadores larpcal Prolog (Langage de programmation) débogage inriac développement logiciel inriac programmation en logique inriac synthèse programme inriac test logiciel inriac Debugging in computer science Prolog (Computer program language) Programmierung (DE-588)4076370-5 gnd Debugging (DE-588)4148954-8 gnd Korrektur (DE-588)4205358-4 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Programmänderung (DE-588)4287920-6 gnd |
| topic_facet | Débogage PROLOG Programacao De Computadores Prolog (Langage de programmation) débogage développement logiciel programmation en logique synthèse programme test logiciel Debugging in computer science Prolog (Computer program language) Programmierung Debugging Korrektur PROLOG Programmiersprache Programmänderung Hochschulschrift |
| work_keys_str_mv | AT shapiroehud algorithmicprogramdebugging |