Kниги автора Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Computer-Aided Reasoning: An Approach (Advances in Formal Methods)

Автор: Matt Kaufmann, Panagiotis Manolios, J Strother Moore
Год: [не указано]
Издание: [не указанo]

Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы