Roberto Giacobazzi - Böcker
Visar alla böcker från författaren Roberto Giacobazzi.
4 produkter
4 produkter
Del 13160 - Lecture Notes in Computer Science
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Häftad, Engelska, 2023
1 819 kr
Skickas inom 7-10 vardagar
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Häftad, Engelska, 2025
1 049 kr
Skickas inom 10-15 vardagar
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Häftad, Engelska, 2004
709 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Häftad, Engelska, 2013
709 kr
Skickas inom 10-15 vardagar