Dynamic logic /
Основен автор: | Harel, David, 1950- |
---|---|
Други автори: | Kozen, Dexter, 1951-, Tiuryn, Jerzy. |
Формат: | Електронна книга |
Език: | English |
Публикувано: |
Cambridge, Mass. :
MIT Press,
2000.
|
Серия: |
Foundations of computing.
|
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=138542 |
Подобни документи: |
Print version::
Dynamic logic. |
Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=138542 |
---|
Провери в Paniza Library, AUBG | Сигнатура: |
QA76.9.L63 H37 2000eb |
---|