TY  - BOOK
A2  - Jim Davies.
AU  - Davies, Jim.
ET  - 1st paperback ed.
N1  - Druk cyfrowy.
NV  - XVII, 180 s. :
PY  - 2011
SN  - 9780521450553
SN  - 9781107403864
TI  - Specification and proof in real-time CSP /
ER  -