Algorithmic program debugging:
Saved in:
| Main Author: | |
|---|---|
| Format: | Thesis Book |
| Language: | English |
| Published: |
Cambridge, Mass. u.a.
MIT Pr.
1983
|
| Subjects: | |
| Physical Description: | XIII, 232 S. |
| ISBN: | 0262192187 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV000125554 | ||
| 003 | DE-604 | ||
| 005 | 19881110 | ||
| 007 | t | ||
| 008 | 870612s1983 m||| 00||| eng d | ||
| 020 | |a 0262192187 |9 0-262-19218-7 | ||
| 035 | |a (OCoLC)9154518 | ||
| 035 | |a (DE-599)BVBBV000125554 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-188 | ||
| 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 | ||
| 502 | |a Zugl.: Yale 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 Debugging |0 (DE-588)4148954-8 |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 Programmierung |0 (DE-588)4076370-5 |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 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 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000068236 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804114584155455488 |
|---|---|
| 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 | BV000125554 |
| 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)BVBBV000125554 |
| 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 Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02437nam a2200661 c 4500</leader><controlfield tag="001">BV000125554</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19881110 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">870612s1983 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)BVBBV000125554</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-12</subfield><subfield code="a">DE-188</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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Yale 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">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">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">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">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">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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000068236</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.BV000125554 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:09:02Z |
| institution | BVB |
| isbn | 0262192187 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000068236 |
| oclc_num | 9154518 |
| open_access_boolean | |
| owner | DE-12 DE-188 |
| owner_facet | DE-12 DE-188 |
| physical | XIII, 232 S. |
| publishDate | 1983 |
| publishDateSearch | 1983 |
| publishDateSort | 1983 |
| publisher | MIT Pr. |
| record_format | marc |
| spelling | Shapiro, Ehud Verfasser aut Algorithmic program debugging Cambridge, Mass. u.a. MIT Pr. 1983 XIII, 232 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Yale 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) Debugging (DE-588)4148954-8 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmänderung (DE-588)4287920-6 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 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) Debugging (DE-588)4148954-8 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Programmierung (DE-588)4076370-5 gnd Programmänderung (DE-588)4287920-6 gnd Korrektur (DE-588)4205358-4 gnd |
| subject_GND | (DE-588)4148954-8 (DE-588)4047464-1 (DE-588)4076370-5 (DE-588)4287920-6 (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 |
| 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) Debugging (DE-588)4148954-8 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Programmierung (DE-588)4076370-5 gnd Programmänderung (DE-588)4287920-6 gnd Korrektur (DE-588)4205358-4 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) Debugging PROLOG Programmiersprache Programmierung Programmänderung Korrektur Hochschulschrift |
| work_keys_str_mv | AT shapiroehud algorithmicprogramdebugging |