Bokus

Sriram Sankaranarayanan

Visar alla böcker från författaren Sriram Sankaranarayanan. Handla med fri frakt och snabb leverans.

  1. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    2025

  2. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    2023

  3. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    2025

  4. Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf

    Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conf

    2023

  5. Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    2015