Roberto Giacobazzi - Böcker

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

4 produkter

Kategorier

4 produkter

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, Engelska, 2023

1 859 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Roberto Giacobazzi, Alessandra Gorla

Häftad, Engelska, 2025

1 259 kr

Skickas inom 10-15 vardagar

Static Analysis

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

Av Roberto Giacobazzi

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar