Logic for concurrency and synchronisation
Queiroz, Ruy J. G. B. de (ed.)Категорії:
Рік:
2003
Видавництво:
Kluwer Acad. Publ
Мова:
english
Сторінки:
284
ISBN 10:
1402012705
ISBN 13:
9781402012709
Серії:
Trends in logic 18
Файл:
PDF, 7.10 MB
IPFS:
,
english, 2003