| Record ID | marc_loc_updates/v36.i10.records.utf8:15093942:1160 |
| Source | Library of Congress |
| Download Link | /show-records/marc_loc_updates/v36.i10.records.utf8:15093942:1160?format=raw |
LEADER: 01160cam a22002894a 4500
001 2002023653
003 DLC
005 20080310123529.0
008 020212s2002 maua b 001 0 eng
010 $a 2002023653
020 $a140207025X (alk. paper)
040 $aDLC$cDLC$dDLC
042 $apcc
050 00 $aQA76.58$b.J83 2002
082 00 $a004/.35$221
100 1 $aJuan, Eric Y. T.
245 10 $aCompositional verification of concurrent and real-time systems /$cby Eric Y.T. Juan, Jeffrey J.P. Tsai.
260 $aBoston :$bKluwer Academic Publishers,$cc2002.
300 $axvii, 196 p. :$bill. ;$c25 cm.
440 4 $aThe Kluwer international series in engineering and computer science ;$vSECS 676
504 $aIncludes bibliographical references (p. [187]-193) and index.
650 0 $aParallel processing (Electronic computers)
650 0 $aReal-time data processing.
650 0 $aComputer systems$xVerification.
700 1 $aTsai, Jeffrey J.-P.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/enhancements/fy0820/2002023653-d.html
856 41 $3Table of contents only$uhttp://www.loc.gov/catdir/enhancements/fy0820/2002023653-t.html