"Manuel Clavel" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

All about Maude.. a high-performance logical framework

Автор: Manuel Clavel, Автор: Francisco Durán, Автор: Steven Eker, Автор: Patrick Lincoln, Автор: Narciso Martí-Oliet, Автор: José Meseguer, Автор: Carolyn Talcott

Категория: CsLn_

Размер книги: 5.51 Mb