It looks like you're offline.
Open Library logo
additional options menu

MARC Record from Library of Congress

Record ID marc_loc_2016/BooksAll.2016.part18.utf8:172297513:1069
Source Library of Congress
Download Link /show-records/marc_loc_2016/BooksAll.2016.part18.utf8:172297513:1069?format=raw

LEADER: 01069cam a2200253 a 4500
001 88029465
003 DLC
005 20111220090936.0
008 880913s1988 gw a b 100 0 eng
010 $a 88029465
020 $a0387503021 (U.S.) :$cDM36.00
040 $aDLC$cDLC$dDLC
050 00 $aQA76.54$b.F66 1988
082 00 $a004/.33$219
245 00 $aFormal techniques in real-time and fault-tolerant systems :$bproceedings of a symposium, Warwick, UK, September 22-23, 1988 /$cM. Joseph, ed.
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1988.
300 $avi, 229 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v331
500 $aPapers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick.
504 $aIncludes bibliographies.
650 0 $aReal-time data processing$xCongresses.
650 0 $aFault-tolerant computing$xCongresses.
700 1 $aJoseph, M.
711 2 $aSymposium on Formal Techniques in Real-Time and Fault-Tolerant Systems$d(1988 :$cWarwick, England)