Поиск
На сайте: 567989 статей, 285490 фото.

Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002: Revised Selected Papers (книга)

Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002: Revised Selected Papers
Автор: Martin Wirsing
Dirk Pattinson
Rolf Hennicker
WADT 200
M. Wirsing
Оригинал издан: ????

«Recent Trends in Algebraic Development Techniques: 16th International Workshop, Wadt 2002, Frauenchiemsee, Germany, September 24-27, 2002: Revised Selected Papers»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки