Holdings: Algorithmic program debugging

Algorithmic program debugging:

Saved in:

Bibliographic Details
Main Author:	Shapiro, Ehud Y. (Author)
Format:	Book
Language:	English
Published:	Cambridge, Mass. [u.a.] MIT Press 1983
Series:	ACM distinguished dissertations
Subjects:	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
Item Description:	Zugl.: Yale, Univ., Diss., 1982
Physical Description:	232 S.
ISBN:	0262192187

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items