Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 (книга)
| Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 | |
| Автор: | Dov M. Gabbay Mark A. Reynolds Marcelo Finger |
|---|---|
| Оригинал издан: | ???? |
«Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2» — книга ???? года.
Содержание |
Содержание 
От издателя
«…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
