Roberto Giacobazzi - Böcker

Visar alla böcker från författaren Roberto Giacobazzi.
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

Av Pedro Lopez-Garcia, John P. Gallagher, Roberto Giacobazzi

Häftad, Engelska, 2023

1 869 kr

Skickas inom 5-8 vardagar
Roberto Giacobazzi, Alessandra Gorla - Static Analysis, Häftad
Del 14995 - Lecture Notes in Computer Science

Static Analysis

Av Roberto Giacobazzi, Alessandra Gorla

Häftad, Engelska, 2025

1 239 kr

Skickas inom 7-10 vardagar
Roberto Giacobazzi - Static Analysis, Häftad
Del 3148 - Lecture Notes in Computer Science

Static Analysis

Av Roberto Giacobazzi

Häftad, Engelska, 2004

729 kr

Skickas inom 7-10 vardagar
Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni

Häftad, Engelska, 2013

729 kr

Skickas inom 7-10 vardagar