Cezara Drăgoi – författare

Visar alla böcker från författaren Cezara Drăgoi. Handla med fri frakt och snabb leverans.

5 produkter

1. 

   Static Analysis

   28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

   Av Cezara Drăgoi, Suvam Mukherjee m. fl.

   Häftad, 2021

   906 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page …

2. 

   Static Analysis

   28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings

   Av Kedar Namjoshi, Suvam Mukherjee m. fl.

   E-bok, 2021

   1150 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021. The 18 regular and 4 short papers, carefully reviewed and selected from 48 submissions, are presented in this book together with 1-page …

3. 

   Verification, Model Checking, and Abstract Interpretation

   24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

   Av Cezara Dragoi, Michael Emmi m. fl.

   Häftad, 2023

   850 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. …

4. 

   Verification, Model Checking, and Abstract Interpretation

   24th International Conference, VMCAI 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

   Av Jingbo Wang, Michael Emmi m. fl.

   E-bok, 2023

   1091 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. …

5. 

   Verification, Model Checking, and Abstract Interpretation : 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedin

   Av Cezara Dragoi, Michael Emmi

   2023

   646 kr

   Lägg i varukorg