| Record ID | marc_loc_updates/v36.i11.records.utf8:13228755:1668 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i11.records.utf8:13228755:1668?format=raw |
LEADER: 01668cam a22003737a 4500
001 2006936100
003 DLC
005 20080311115110.0
008 061010s2006 gw a b 101 0 eng d
010 $a 2006936100
016 7 $a981567444$2GyFmDB
020 $a9783540482659 (pbk.)
020 $a3540482652 (pbk.)
035 $a(OCoLC)ocm76949447
040 $aOHX$cOHX$dBAKER$dCUS$dDLC
042 $alccopycat
050 00 $aQA76.9.F38$bW67 2006
072 7 $aQA$2lcco
082 00 $a004.2$222
111 2 $aWorkshop on Rigorous Engineering of Fault-tolerant Systems$d(2005 :$cNewcastle upon Tyne, England)
245 10 $aRigorous development of complex fault-tolerant systems /$cMichael Butler ... [et al.] (eds.).
260 $aBerlin ;$aNew York :$bSpringer,$cc2006.
300 $ax, 402 p. :$bill. ;$c24 cm.
490 1 $aLecture notes in computer science,$x0302-9743 ;$v4157.$aState-of-the-art survey
500 $a"Workshop on Rigorous Engineering of Fault-tolerant Systems, REFT 2005, was held in conjunction with the Formal Methods 2005 conference at Newcastle University"--Pref.
504 $aIncludes bibliographical references and index.
650 0 $aFault-tolerant computing$vCongresses.
650 0 $aComputer software$xReliability$vCongresses.
650 0 $aElectronic digital computers$xReliability$vCongresses.
650 0 $aFormal methods (Computer science)$vCongresses.
700 1 $aButler, Michael,$d1967-
830 0 $aLecture notes in computer science ;$v4157
830 0 $aLecture notes in computer science.$pState-of-the-art survey.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0825/2006936100-d.html