Книги автора «Yves Bertot»

На данной странице предаставлены все книги автора «Yves Bertot»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Yves Bertot»

Книги

Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development (Yves Bertot)