Bokus

Cezara Drăgoi

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

  1. Static Analysis

    Static Analysis

    2021

  2. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2023

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

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

    2023