Поиск Картинки Карты Play YouTube Новости Почта Диск Ещё »
Войти
Книги Книги

Temporal Logic: Mathematical Foundations and Computational Aspects, Том 1

Dov M. Gabbay, Ian Hodkinson, Mark A. Reynolds - 1994 - Страниц: 653
This long awaited book gives a thorough account of the mathematical foundations of Temporal Logic, one of the most important areas of logic in computer science.The book, which ...
Просмотр фрагмента - Подробнее о книге




  1. Моя библиотека
  2. Справка
  3. Расширенный поиск книг