Главная
"Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)" - читать интересную книгу автора
(Annabelle McIver, Charles Carroll Morgan)
Книга удалена по просьбе правообладателя.
© 2024 Библиотека RealLib.org (support [a t] reallib.org)