000
00279nam a2200109 4500
008
160616s 000 0
245
_a
Logics and models of concurrent systems
100
_a
Apt, Krzysztof R., Ed.
500
_a
D6,8(B) M522
942
_c
BK
_2
BK679
080
_a
681.3.06 APT
999
_c
679
_d
679