| Record ID | marc_loc_updates/v36.i42.records.utf8:12612440:1417 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i42.records.utf8:12612440:1417?format=raw |
LEADER: 01417cam a22003497a 4500
001 2006926507
003 DLC
005 20081015074636.0
008 060426s2006 gw a b 101 0 eng d
010 $a 2006926507
020 $a3540344543
020 $a9783540344544
035 $a(CStRLIN)CTYA7578290-B
035 $a(CtY)7578290
040 $aHNK$cHNK$dCtY$dDLC
042 $alccopycat
050 00 $aQA76.9.F67$bF522 2005
082 00 $a004.01/51$222
111 2 $aFATES 2005$d(2005 :$cEdinburgh, Scotland)
245 10 $aFormal approaches to software testing :$b5th international workshop, FATES 2005, Edinburgh, UK, July 11, 2005 : revised selected papers /$cWolfgang Grieskamp, Carsten Weise (eds.).
246 30 $aFATES 2005
260 $aBerlin :$bSpringer-Verlag,$cc2006.
300 $axii, 217 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science ;$v3997
500 $a"The workshop on Formal Approaches to Testing of Software (FATES)"--Foreword.
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComputer software$xTesting$vCongresses.
700 1 $aGrieskamp, Wolfgang,$d1960-
700 1 $aWeise, Carsten.
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/toc/fy0702/2006926507.html
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0661/2006926507-d.html