Specification and Proof in real- time CSP /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge :
Press Sydicate,
c1993.
|
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000cam a22000002a 4500 | ||
|---|---|---|---|
| 001 | 0000016270 | ||
| 003 | DAYSTAR | ||
| 005 | 20171002014954.0 | ||
| 008 | 030703s1993 xx 001 0 eng d | ||
| 020 | |a 0521450551 | ||
| 040 | |a Daystar | ||
| 040 | |d BNjogu | ||
| 050 | 0 | 0 | |a QA 76.6 |b .D38 |
| 100 | 1 | |a Davis, Jim. | |
| 245 | 1 | 0 | |a Specification and Proof in real- time CSP / |c Jim Davis. |
| 260 | |a Cambridge : |b Press Sydicate, |c c1993. | ||
| 300 | |a xvii,180 p. | ||
| 650 | 0 | |a Communicating Sequential Processes (computer Programs) | |
| 650 | 0 | |a Computer Programs. | |
| 908 | |a 060412 | ||
| 942 | |c G | ||
| 952 | |0 0 |1 0 |4 0 |6 QA_76_600000000000000_D38 |7 0 |9 9301 |a DUN |b DUN |c GC |d 2017-09-28 |l 0 |o QA 76.6.D38 |p BK038333 |r 2017-09-28 00:00:00 |t c.1 |w 2017-09-28 |x 32936 |y G | ||
| 999 | |c 6133 |d 6133 | ||