Logic for concurrency and synchronisation
| Автор-организации: | ebrary, Inc. |
|---|---|
| Други автори: | Queiroz, Ruy J. G. B. de. |
| Формат: | Електронен |
| Език: | English |
| Публикувано: |
Dordrecht ; Boston :
Kluwer Academic Publishers,
c2003.
|
| Серия: |
Trends in logic ;
v. 18. |
| Предмети: | |
| Онлайн достъп: |
An electronic book accessible through the World Wide Web; click to view |
| Физически характеристики: |
xxi, 284 p. : ill. ; 25 cm. |
|---|---|
| Библиография: |
Includes bibliographical references. |