Logic Based Program Synthesis and Transformation
12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Autor:
M. Leuschel
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
Kč
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on...
