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
978-3-540-40438-5,978-3-540-45013-9
File Type
pdf
File Size
4.1 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book