Pedro Lopez-Garcia - Böcker

Visar alla böcker från författaren Pedro Lopez-Garcia.
2 produkter
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi - Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Häftad
Del 13160 - Lecture Notes in Computer Science

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Av Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

Häftad, Engelska, 2023

1 879 kr

Skickas inom 5-8 vardagar
Manuel V Hermenegildo, Pedro Lopez-Garcia, Manuel V. Hermenegildo - Logic-Based Program Synthesis and Transformation, Häftad

Logic-Based Program Synthesis and Transformation

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

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar