| Record ID | marc_columbia/Columbia-extract-20221130-009.mrc:397970146:1538 |
| Source | marc_columbia |
| Download Link | /show-records/marc_columbia/Columbia-extract-20221130-009.mrc:397970146:1538?format=raw |
LEADER: 01538pam a22003614a 4500
001 4388672
005 20221102204946.0
008 030930t20042004gw a b 001 0 eng
010 $a 2003066406
016 7 $a968668429$2GyFmDB
020 $a3540408231 (acid-free paper)
035 $a(OCoLC)ocm53178309
035 $a(NNC)4388672
035 $a4388672
040 $aDLC$cDLC$dYDX$dOHX
042 $apcc
050 00 $aQA76.54$b.Z46 2004
072 7 $aQA$2lcco
082 00 $a005.2/73$222
100 1 $aZhou, Chaochen,$d1937-$0http://id.loc.gov/authorities/names/n2003003568
245 10 $aDuration calculus :$ba formal approach to real-time systems /$cZhou Chaochen, Michael R. Hansen.
260 $aBerlin ;$aNew York :$bSpringer,$c[2004], ©2004.
300 $ax, 247 pages :$billustrations ;$c24 cm.
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
490 1 $aMonographs on theoretical computer science
504 $aIncludes bibliographical references (p. [227]-237) and indexes.
650 0 $aReal-time data processing.$0http://id.loc.gov/authorities/subjects/sh85111765
650 0 $aFormal methods (Computer science)$0http://id.loc.gov/authorities/subjects/sh99003622
650 0 $aMathematics$xData processing.$0http://id.loc.gov/authorities/subjects/sh85082146
700 1 $aHansen, Michael R.$0http://id.loc.gov/authorities/names/n99002312
830 0 $aEATCS monographs on theoretical computer science.$0http://id.loc.gov/authorities/names/n84742022
852 00 $boff,eng$hQA76.54$i.Z46 2004