Roberto Giacobazzi – författare

Visar alla böcker från författaren Roberto Giacobazzi.

4 produkter

Kategorier

4 produkter

Del 13160
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
AvPedro Lopez-Garcia,John P. Gallagherm. fl.
Häftad, Engelska, 2023
1 919 kr
Skickas inom 10-15 vardagar
Del 14995
Del 14995 - Lecture Notes in Computer Science
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
AvRoberto Giacobazzi,Alessandra Gorla
Häftad, Engelska, 2025
1 189 kr
Skickas inom 10-15 vardagar
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
AvRoberto Giacobazzi
Häftad, Engelska, 2004
739 kr
Skickas inom 10-15 vardagar
Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
AvRoberto Giacobazzi,Josh Berdinem. fl.
Häftad, Engelska, 2013
739 kr
Skickas inom 10-15 vardagar