Zoeken

U zocht naar: Auteur Giacobazzi, Roberto Filter Auteur: Giacobazzi, Roberto weghalen Type e-book Filter Type: e-book weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
thumbnail
Full text!
Auteur:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto
Uitgever:
Cham Springer 2023
Type:
e-book
2. Static Analysis: 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
thumbnail
Full text!
Auteur:
Roberto Giacobazzi; Gorla, Alessandra
Uitgever:
Springer Nature 2025
Type:
e-book