Главная
"Computer Aided Verification, 21 conf., CAV 2009" - читать интересную книгу автора
(Ahmed Bouajjani, Oded Maler)
Книга удалена по просьбе правообладателя.
© 2024 Библиотека RealLib.org (support [a t] reallib.org)