Hoppa till sidans huvudinnehåll

Manuel V. Hermenegildo - Böcker

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

Prolog: The Next 50 Years

Av David S. Warren, Veronica Dahl m. fl

Häftad, Engelska, 2023

589 kr

Skickas inom 5-8 vardagar
Del 14284 - Lecture Notes in Computer Science

Static Analysis

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

Av Manuel V. Hermenegildo, José F. Morales m. fl

Häftad, Engelska, 2023

1 209 kr

Skickas inom 10-15 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