Manuel V. Hermenegildo - Böcker

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

3 produkter

Kategorier

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

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 179 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

729 kr

Skickas inom 10-15 vardagar