Roberto Giacobazzi – författare
Visar alla böcker från författaren Roberto Giacobazzi. Handla med fri frakt och snabb leverans.
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 859 kr
Skickas inom 10-15 vardagar
Del 14995 - Lecture Notes in Computer Science
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Häftad, Engelska, 2025
1 149 kr
Skickas inom 10-15 vardagar
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Häftad, Engelska, 2004
719 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
719 kr
Skickas inom 10-15 vardagar