Поиск
На сайте: 567989 статей, 285490 фото.

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…»

Рецензии

См. также

Ссылки