Logic-Based Program Synthesis and Transformation
16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers
Szerző:
Germán Puebla
Elérhetőség:
Beszállítói készleten alacsony példányszámban
Küldés 13-18 napon belül
20 672
Ft
This book constitutes the thoroughly refereed postproceedings of the 16th International Symposium on...