Roberto Giacobazzi – författare

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

4 produkter

1. 

   Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

   Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

   Av Pedro Lopez-Garcia, John P. Gallagher m. fl.

   Häftad, 2023

   1879 kr

   Lägg i varukorg

2. 

   Static Analysis

   31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings

   Av Roberto Giacobazzi, Alessandra Gorla

   Häftad, 2025

   1159 kr

   Lägg i varukorg

3. 

   Static Analysis

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

   Av Roberto Giacobazzi

   Häftad, 2004

   729 kr

   Lägg i varukorg

4. 

   Verification, Model Checking, and Abstract Interpretation

   14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings

   Av Roberto Giacobazzi, Josh Berdine m. fl.

   Häftad, 2013

   729 kr

   Lägg i varukorg