Manuel V. Hermenegildo - Böcker
Visar alla böcker från författaren Manuel V. Hermenegildo.
3 produkter
3 produkter
579 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
Häftad, Engelska, 2023
1 159 kr
Skickas inom 10-15 vardagar
Del 10184 - Lecture Notes in Computer Science
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
Häftad, Engelska, 2017
709 kr
Skickas inom 10-15 vardagar