Вы здесь

Recent Trends in Algebraic Development Techniques: Revised Selected Papers/25th International Workshop, WADT 2020, Virtual Event, April 2020

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Стр.: 
165 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
12669
Карточка: 

Recent Trends in Algebraic Development Techniques: Revised Selected Papers/25th International Workshop, WADT 2020, Virtual Event, April 2020/Ed. by Roggenbach M..-Berlin.: Springer, 2021.-Vol. 12669.-165 p.-(Lecture Notes in Computer Science).