| Record ID | ia:formaltechniques0000unse_x8t5 |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/formaltechniques0000unse_x8t5/formaltechniques0000unse_x8t5_marc.xml |
| Download MARC binary | https://www.archive.org/download/formaltechniques0000unse_x8t5/formaltechniques0000unse_x8t5_meta.mrc |
LEADER: 01041cam a2200253 a 4500
001 91043620
003 DLC
005 20080308084131.0
008 911114s1991 gw a b 100 0 eng
010 $a 91043620
020 $a3540550925 (Berlin : acid-free paper)
020 $a0387550925 (New York : acid-free paper)
040 $aDLC$cDLC$dDLC
050 00 $aQA76.54$b.F66 1991
082 00 $a004/.33$220
245 00 $aFormal techniques in real-time and fault-tolerant systems :$bsecond international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings /$cJ. Vytopil (ed.).
260 $aBerlin ;$aNew York :$bSpringer-Verlag,$cc1991.
300 $aix, 620 p. :$bill. ;$c25 cm.
440 0 $aLecture notes in computer science ;$v571
504 $aIncludes bibliographical references.
650 0 $aReal-time data processing$xCongresses.
650 0 $aFault-tolerant computing$xCongresses.
700 1 $aVytopil, J.$q(Jan),$d1947-
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0815/91043620-d.html