libcats.org
Главная →

Mechanizing proof: computing, risk, and trust

Обложка книги Mechanizing proof: computing, risk, and trust

Mechanizing proof: computing, risk, and trust

FB2 | PDF | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Только что пользователи скачали эти книги:

Analyse continue par ondelettes

 Автор: , Автор:
Размер книги: 10.43 Mb