| Record ID | ia:specificationpro0000davi |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/specificationpro0000davi/specificationpro0000davi_marc.xml |
| Download MARC binary | https://www.archive.org/download/specificationpro0000davi/specificationpro0000davi_meta.mrc |
LEADER: 00883cam a2200241 a 4500
001 94102916
003 DLC
005 20020828202232.0
008 940107s1993 enk b 000 0 eng
010 $a 94102916
020 $a0521450551
040 $aDLC$cDLC$dDLC
050 00 $aQA76.54$b.D38 1993
082 00 $a004/.33$220
100 1 $aDavies, Jim,$d1964-
245 10 $aSpecification and proof in real-time CSP /$cJim Davies.
260 $aCambridge ;$aNew York :$bUniversity of Cambridge Press,$c1993.
300 $axvii, 180 p. ;$c26 cm.
440 0 $aDistinguished dissertations in computer science
504 $aIncludes bibliographical references (p. [175]-180).
650 0 $aReal-time data processing.
856 42 $3Publisher description$uhttp://www.loc.gov/catdir/description/cam026/94102916.html
856 41 $3Table of contents$uhttp://www.loc.gov/catdir/toc/cam029/94102916.html