libcats.org
Главная →
Mechanizing proof: computing, risk, and trust
Mechanizing proof: computing, risk, and trust
Donald A. MacKenzie
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги:
|