libcats.org
Главная

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

Обложка книги CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: