TY  - BOOK
A2  - Willem-Paul de Roever [et al.].
A3  - Roever, W.-P. de
ET  - 1st paperback ed.
KW  - Przetwarzanie równoległe (informatyka).
Weryfikacja oprogramowania.
NV  - XXII, 776 s. :
PY  - 2010
SN  - 9780521806084
SN  - 9780521169325
TI  - Concurrency verification : introduction to compositional and noncompositional methods /
VL  - 54
ER  -