Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised Selected Papers

Author
María Alpuente, Marco Comini, Santiago Escobar, Moreno Falaschi, Salvador Lucas (auth.), Michael Leuschel (eds.)
Publisher
Springer-Verlag Berlin Heidelberg
Language
English
Edition
1
Year
2003
Page
279
ISBN
3540404384,9783540404385
File Type
pdf
File Size
1.9 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book