"Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf" - читать интересную книгу автора
| © 2024 Библиотека RealLib.org (support [a t] reallib.org) |
"Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf" - читать интересную книгу автора |
|
|