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