Bokus

Natasha Sharygina

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

  1. Software Verification

    Software Verification

    2022

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

    Tools and Algorithms for the Construction and Analysis of Systems

    2023

  3. Validation of Evolving Software

    Validation of Evolving Software

    2015

  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. Computer Aided Verification

    Computer Aided Verification

    2013