Carolyn Talcott
Список авторов с биографиями, датами жизни и будущими подборками всех их книг.
Книги автора
8
Composing Model-Based Analysis Tools
Logic, Rewriting, and Concurrency
Rebeca for Actor Analysis in Action
Reflections on the Foundations of Mathematics
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Logic, Language, and Security
Reflections on the Foundations of Mathematics : Essays in Honor of Solomon Feferman
