"Lars-Henrik Eriksson" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

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

Extensions of Logic Programming: Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings

Автор: Lars-Henrik Eriksson, Автор: Lars Hallnäs, Автор: Peter Schroeder-Heister

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

FME 2002: Formal Methods - Getting IT Right: International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Автор: Lars-Henrik Eriksson, Автор: Peter A. Lindsay

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