2 Ebooks bởi Pedro Lopez-Garcia
Manuel V Hermenegildo & Pedro Lopez-Garcia: Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, held in Edinburgh, UK, …
EPUB
Anh
DRM
€57.14
John P. Gallagher & Roberto Giacobazzi: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer …
EPUB
Anh
DRM
€139.40
