Algorithmic program debugging:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass. [u.a.]
MIT Press
1983
|
| Schriftenreihe: | ACM distinguished dissertations
|
| Schlagworte: | |
| Beschreibung: | Zugl.: Yale, Univ., Diss., 1982 |
| Beschreibung: | 232 S. |
| ISBN: | 0262192187 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021927463 | ||
| 003 | DE-604 | ||
| 005 | 20040301000000.0 | ||
| 007 | t | ||
| 008 | 951201s1983 |||| 00||| eng d | ||
| 020 | |a 0262192187 |9 0-262-19218-7 | ||
| 035 | |a (OCoLC)9154518 | ||
| 035 | |a (DE-599)BVBBV021927463 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 050 | 0 | |a QA76.6 | |
| 082 | 0 | |a 001.64/2 |2 19 | |
| 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. [u.a.] |b MIT Press |c 1983 | |
| 300 | |a 232 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a ACM distinguished dissertations | |
| 500 | |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 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 Debugging |0 (DE-588)4148954-8 |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 |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Korrektur |0 (DE-588)4205358-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 2 | 1 | |a Debugging |0 (DE-588)4148954-8 |D s |
| 689 | 2 | |8 2\p |5 DE-604 | |
| 689 | 3 | 0 | |a PROLOG |g Programmiersprache |0 (DE-588)4047464-1 |D s |
| 689 | 3 | 1 | |a Programmänderung |0 (DE-588)4287920-6 |D s |
| 689 | 3 | |8 3\p |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015142620 | ||
| 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 | |
Datensatz im Suchindex
| _version_ | 1804135883245355008 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| 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 | BV021927463 |
| 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)BVBBV021927463 |
| 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 |
| discipline_str_mv | Allgemeines |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02397nam a2200661zc 4500</leader><controlfield tag="001">BV021927463</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20040301000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">951201s1983 |||| 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)BVBBV021927463</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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></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 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. [u.a.]</subfield><subfield code="b">MIT Press</subfield><subfield code="c">1983</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">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 dissertations</subfield></datafield><datafield tag="500" 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">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">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">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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" 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="2" 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="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" 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="3" 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="3" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015142620</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></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021927463 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:06:04Z |
| indexdate | 2024-07-09T20:47:35Z |
| institution | BVB |
| isbn | 0262192187 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015142620 |
| oclc_num | 9154518 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 232 S. |
| 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. [u.a.] MIT Press 1983 232 S. txt rdacontent n rdamedia nc rdacarrier ACM distinguished dissertations 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) Korrektur (DE-588)4205358-4 gnd rswk-swf PROLOG Programmiersprache (DE-588)4047464-1 gnd rswk-swf Debugging (DE-588)4148954-8 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmänderung (DE-588)4287920-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Programmierung (DE-588)4076370-5 s DE-604 Korrektur (DE-588)4205358-4 s PROLOG Programmiersprache (DE-588)4047464-1 s Debugging (DE-588)4148954-8 s 2\p DE-604 Programmänderung (DE-588)4287920-6 s 3\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 |
| spellingShingle | Shapiro, Ehud Y. 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) Korrektur (DE-588)4205358-4 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Debugging (DE-588)4148954-8 gnd Programmierung (DE-588)4076370-5 gnd Programmänderung (DE-588)4287920-6 gnd |
| subject_GND | (DE-588)4205358-4 (DE-588)4047464-1 (DE-588)4148954-8 (DE-588)4076370-5 (DE-588)4287920-6 (DE-588)4113937-9 |
| title | Algorithmic program debugging |
| title_auth | Algorithmic program debugging |
| title_exact_search | Algorithmic program debugging |
| title_exact_search_txtP | 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 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) Korrektur (DE-588)4205358-4 gnd PROLOG Programmiersprache (DE-588)4047464-1 gnd Debugging (DE-588)4148954-8 gnd Programmierung (DE-588)4076370-5 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) Korrektur PROLOG Programmiersprache Debugging Programmierung Programmänderung Hochschulschrift |
| work_keys_str_mv | AT shapiroehudy algorithmicprogramdebugging |