Pedro Lopez-Garcia - Böcker

Visar alla böcker från författaren Pedro Lopez-Garcia.

2 produkter

Kategorier

2 produkter

Del 13160

Del 13160 - Lecture Notes in Computer Science

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Av Pedro Lopez-Garcia, John P. Gallagher m. fl

Häftad, Engelska, 2023

1 879 kr

Skickas inom 7-10 vardagar

Logic-Based Program Synthesis and Transformation

26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers

Av Manuel V Hermenegildo, Pedro Lopez-Garcia m. fl

Häftad, Engelska, 2017

739 kr

Skickas inom 10-15 vardagar