| Record ID | harvard_bibliographic_metadata/ab.bib.10.20150123.full.mrc:70372001:1271 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.10.20150123.full.mrc:70372001:1271?format=raw |
LEADER: 01271cam a2200361Ia 4500
001 010118281-3
005 20060929130453.0
008 060606s2006 gw 101 0 eng d
010 $a 2006926507
015 $aGBA667583$2bnb
016 7 $a979592860$2GyFmDB
016 7 $a013520393$2Uk
020 $a3540344543 (pbk.)
020 $a9783540344544
035 0 $aocm69983519
040 $aOHX$cOHX$dBAKER$dCUS$dUKM
050 4 $aQA76.9.F67$bF52 2005
072 7 $aQA$2lcco
082 04 $a005.131$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 ;$aNew York :$bSpringer,$cc2006.
300 $axii, 217 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3997
504 $aIncludes bibliographical references and index.
650 0 $aFormal methods (Computer science)$vCongresses.
650 0 $aComputer software$xTesting$vCongresses.
653 1 $aSoftware testing
700 1 $aGrieskamp, Wolfgang,$d1960-
700 1 $aWeise, Carsten.
988 $a20060929
906 $0OCLC