G. Goos (ed), J. Hartmanis (ed) — Lecture Notes in Computer Science. 1055
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Lecture Notes in Computer Science. 1055
Авторы: G. Goos (ed), J. Hartmanis (ed)
Аннотация:
This volume contains the proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'96, which took place at the University of Passau (Germany), 27-29 March, 1996. The first workshop of this series took place last year in Aarhus (Denmark) as a satellite of TAPSOFT'95.
|
|
О проекте