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» — книга ???? года.
Содержание |
Содержание 
От издателя
«…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
