Manuel V. Hermenegildo – författare

Visar alla böcker från författaren Manuel V. Hermenegildo.

3 produkter

1. 

   Prolog: The Next 50 Years

   The Next 50 Years

   Av David S. Warren, Veronica Dahl m. fl.

   Häftad, 2023

   1239 kr

   Lägg i varukorg

2. 

   Static Analysis

   30th International Symposium, SAS 2023, Cascais, Portugal, October 22–24, 2023, Proceedings

   Av Manuel V. Hermenegildo, José F. Morales

   Häftad, 2023

   1189 kr

   Lägg i varukorg

3. 

   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