| Record ID | marc_records_scriblio_net/part20.dat:18526216:1039 |
| Source | Scriblio |
| Download Link | /show-records/marc_records_scriblio_net/part20.dat:18526216:1039?format=raw |
LEADER: 01039pam 2200241 a 4500
001 88029465
003 DLC
005 19890403135336.1
008 880913s1988 wb a b 10000 eng
010 $a 88029465
020 $a0387503021 (U.S.) :$cDM36.00
050 0 $aQA76.54$b.F66 1988
082 0 $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 0 $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 10 $aJoseph, M.
711 20 $aSymposium on Formal Techniques in Real-Time and Fault-Tolerant Systems$d(1988 :$cWarwick, England)