Hoppa till sidans huvudinnehåll

Roberto Giacobazzi – författare

Visar alla böcker från författaren .
4 produkter
Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi - Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, Häftad
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 859 kr

Skickas inom 10-15 vardagar

Roberto Giacobazzi, Alessandra Gorla - Static Analysis, Häftad
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 149 kr

Skickas inom 10-15 vardagar

Roberto Giacobazzi - Static Analysis, Häftad

Static Analysis

11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

AvRoberto Giacobazzi

Häftad, Engelska, 2004

719 kr

Skickas inom 10-15 vardagar

Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni - Verification, Model Checking, and Abstract Interpretation, Häftad

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

729 kr

Skickas inom 10-15 vardagar