000 01152nmm a22003375u 4500
999 _c23557
_d23557
005 20201124210122.0
008 100301s2007 xx j eng d
020 _a9783540718789
050 _aQA76.6
_bL53 2007
100 1 _aLiblit, Ben.
245 1 0 _aCooperative Bug Isolation
_h[electronic resource] :
_bWinning Thesis of the 2005 ACM Doctoral Dissertation Competition /
_cby Ben Liblit.
260 _aBerlin, Heidelberg :
_bSpringer-Verlag Berlin Heidelberg,
_c2007.
300 _bv.: digital
490 0 _aLecture Notes in Computer Science,
_v4440
_x0302-9743
650 0 _aComputer science
650 0 _aSoftware engineering
650 0 _aComputer software
650 0 _aLogic design
650 1 4 _aComputer Science
650 2 4 _aSoftware Engineering
650 2 4 _aLogics and Meanings of Programs
650 2 4 _aAlgorithm Analysis and Problem Complexity
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-540-71878-9
942 _2lcc
_cLIE