Cezara Drăgoi - Böcker

Visar alla böcker från författaren Cezara Drăgoi.

2 produkter

Kategorier

2 produkter

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

1 169 kr

Skickas inom 10-15 vardagar

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

1 099 kr

Skickas inom 10-15 vardagar