| Record ID | ia:durationcalculus0000zhou |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/durationcalculus0000zhou/durationcalculus0000zhou_marc.xml |
| Download MARC binary | https://www.archive.org/download/durationcalculus0000zhou/durationcalculus0000zhou_meta.mrc |
LEADER: 01563cam 22004214a 4500
001 9921480930001661
005 20161129145533.0
008 030930s2004 gw b 001 0 eng
010 $a 2003066406
016 7 $a968668429$2GyFmDB
020 $a3540408231 (hardcover : acid-free paper)
035 $a(CSdNU)u257554-01national_inst
035 $a(OCoLC)53178309
035 $a(OCoLC)53178309
040 $aDLC$cDLC$dYDX$dOHX$dOCLCQ$dMUQ$dBAKER
042 $apcc
049 $aCNUM
050 00 $aQA76.54$b.Z46 2004
072 7 $aQA$2lcco
082 00 $a005.2/73$222
100 1 $aZhou, Chaochen,$d1937-
245 10 $aDuration calculus :$ba formal approach to real-time systems / $cChaochen Zhou, Michael R. Hansen.
260 $aBerlin ;$aNew York :$bSpringer,$cc2004.
300 $ax, 247 p. ;$c25 cm.
440 0 $aEATCS monographs on theoretical computer science
504 $aIncludes bibliographical references (p. [227]-237) and indexes.
650 0 $aReal-time data processing.
650 0 $aFormal methods (Computer science)
650 0 $aMathematics$xData processing.
650 6 $aTemps reel.
650 6 $aMethodes formelles (Informatique)
650 6 $aMathematiques$xInformatique.
700 1 $aHansen, Michael R.
938 $aOtto Harrassowitz$bHARR$nhar030115556$c64.15 EUR
938 $aBaker & Taylor$bBKTY$c79.95$d79.95$i3540408231$n0004339462$sactive
949 $aQA 76.54 .Z46 2004$i31786102029102
994 $a92$bCNU
999 $aQA 76.54 .Z46 2004$wLC$c1$i31786102029102$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u10/27/2005