|
|
004.415.28/F48-770148
Recent trends in algebraic development techniques [Electronic resource] : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006: revised selected papers / ed. J. Fiadeiro. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Lecture notes in computer science, ISSN 0302-9743 ; 4409). - ISBN 978-3-540-71998-4 : Б. ц.
Рубрики: Программы для эвм--Спецификация--Съезды и конференции
См. : Текст издания
Доп.точки доступа:
Fiadeiro, J. \ed.\; SpringerLink (Online service)
Свободных экз. нет
|
|