Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ... (Lecture Notes in Computer Science, 13160)
Pedro Lopez-Garcia (editor), John P. Gallagher (editor), Roberto Giacobazzi (editor), 3031314751, 9783031314759
KETAB DOWNLOAD: eBook Shop
This book is available.
Click to buy now!
KETAB DOWNLOAD Download and order any book on any topic you are interested in.
eBook Shop