机读格式显示(MARC)
- 000 00963cam 2200325 a 4500
- 050 00 |a QA76.6 |b .S49 1983
- 950 __ |a JHUL |b TP312 |c S529
- 008 050309s1983 maua 00110 eng
- 099 __ |a CAL 022000313447
- 100 1_ |a Shapiro, Ehud Y.
- 245 10 |a Algorithmic program debugging.
- 260 __ |a Cambrige, Mass. : |b MIT Pr., |c c1983.
- 300 __ |a xiii, 231 p. ; |c 24 cm.
- 440 _0 |a ACM distinguished dissertations
- 500 __ |a Thesis Ph.D.--Yale University, 1982.
- 500 __ |a Bibliography: p. 215-229.
- 504 __ |a Includes index.
- 650 _0 |a Debugging in computer science.
- 650 _0 |a Prolog (Computer program language)
- 650 _0 |a Yale University |x Dissertations.
- 650 _0 |a Dissertations, Academic |x United States |x Yale University.