cezara dragoi

Grid   List

  1. Static Analysis
    Static Analysis
    Cezara Dragoi
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 28th International Symposium on Static Analysis, SAS 2021, held in Chicago, IL, USA, in October 2021.
    85,59 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Cezara Dragoi
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    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.
    80,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Shape Analysis
    Shape Analysis
    Bor-Yuh Evan Chang
    Now Publishers Inc
    Taschenbuch
    Bezug 11-15
    Shape analyses focusing on inferring highly complex properties of heap-manipulating programs are techniques used in the automatic verification of infinite-state programs.This survey provides a comp...
    132,77 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  4. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Cezara Dragoi
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    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...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>