Logic for Concurrency and Synchronisation (книга)
| Logic for Concurrency and Synchronisation | |
| Автор: | Ruy J. G. B. De Queiroz Ruy J. G. B. De Queiroz |
|---|---|
| Оригинал издан: | ???? |
«Logic for Concurrency and Synchronisation» — книга ???? года.
Содержание |
Содержание 
От издателя
«This book is for researchers in computer science, mathematical logic, and philosophical logic. The study of information-based actions and processes has been a vibrant interface between logic and computer science for decades now. The individual…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
