Roberto Giacobazzi – författare
Visar alla böcker från författaren Roberto Giacobazzi. Handla med fri frakt och snabb leverans.
8 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, 2023
1468 kr
Lägg i varukorg
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an …
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Av Roberto Giacobazzi, John P. Gallagher m. fl.
E-bok, 2023
1798 kr
Lägg i varukorg
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. degree in Computer Science and Engineering from the University of Texas at Austin, and among various positions he was an …
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Av Roberto Giacobazzi, Alessandra Gorla
Häftad, 2025
906 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, …
Static Analysis
31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20–22, 2024, Proceedings
Av Alessandra Gorla, Roberto Giacobazzi
E-bok, 2025
1150 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 31st International Static Analysis Symposium, SAS 2024, held in Pasadena, CA, USA, in October 2024. Static analysis is widely recognized as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, …
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
Häftad, 2004
569 kr
Lägg i varukorg
Static analysis is a research area aimed at developing principles and tools for veri?cation, certi?cation, semantics-based manipulation, and high-performance implementation of programming languages and systems. The series of Static Analysis symposia has served as the primary venue for presentation …
Static Analysis
11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings
E-bok, 2004
755 kr
Lägg i varukorg
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
569 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full …
Verification, Model Checking, and Abstract Interpretation
14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Av Isabella Mastroeni, Josh Berdine m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2013, held in Rome, Italy, in January 2013, co-located with the Symposium on Principles of Programming Languages, POPL 2013. The 27 revised full …
