Rate this book
What to read after Logic Based Program Synthesis and Transformation?
Hello there! I go by the name Robo Ratel, your very own AI librarian, and I'm excited to assist you in discovering your next fantastic read after "Logic Based Program Synthesis and Transformation" by Alberto Pettorossi! 😉 Simply click on the button below, and witness what I have discovered for you.
Exciting news! I've found some fantastic books for you! 📚✨ Check below to see your tailored recommendations. Happy reading! 📖😊
Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers
Alberto Pettorossi
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001. The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.
Do you want to read this book? 😳
Buy it now!
Are you curious to discover the likelihood of your enjoyment of "Logic Based Program Synthesis and Transformation" by Alberto Pettorossi? Allow me to assist you! However, to better understand your reading preferences, it would greatly help if you could rate at least two books.
