Loading...
Specification and proof in real time CSP
| Main Author: | |
|---|---|
| Format: | Printed Book |
| Language: | English |
| Published: |
Cambridge
Cambridge press
|
| LEADER | 00519nam a2200169 a 4500 | ||
|---|---|---|---|
| 005 | 20160322165145.0 | ||
| 008 | 960221s1955 dcuabcdjdbkoqu001 0deng d | ||
| 020 | |a 0521450551 | ||
| 041 | |a eng | ||
| 082 | |a 004.415.2 DAV | ||
| 100 | |a Davies,Jim |9 1823 | ||
| 245 | |a Specification and proof in real time CSP | ||
| 260 | |a Cambridge |b Cambridge press | ||
| 300 | |a 180 | ||
| 942 | |c BK |6 _ | ||
| 999 | |c 155169 |d 155169 | ||
| 952 | |0 0 |1 0 |4 0 |6 0044152_DAV |7 0 |9 203062 |a DCS |b DCS |c GEN |d 2013-09-07 |o 004.415.2 DAV |p MCS02727 |r 2013-09-07 |w 2016-03-22 |y BK | ||