Pedro Lopez-Garcia – författare

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

2 produkter

1. 

   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, 2023

   1879 kr

   Lägg i varukorg

2. 

   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

   Häftad, 2017

   729 kr

   Lägg i varukorg