
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems. Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday (PDF/EPUB Version)
$19.99
Description
Author: Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi
Series: Lecture Notes in Computer Science, 13160
Publisher: Springer
Year: 2023
Edition:
Language: English
ISSN: