Ed Brinksma (Ed.) — Lecture Notes in Computer Science. 1217
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Lecture Notes in Computer Science. 1217
Автор: Ed Brinksma (Ed.)
Аннотация:
This volume contains the proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'97, which was held at the University of Twente at Enschede, The Netherlands, April 2-4 1997. Previous workshops took place in Aarhus (1995) and Passau (1996).
|
|
О проекте