Bokus

Serdar Tasiran

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

  1. Computer Aided Verification

    Computer Aided Verification

    2020

  2. Computer Aided Verification

    Computer Aided Verification

    2019

  3. Verified Software. Theories, Tools and Experiments

    Verified Software. Theories, Tools and Experiments

    2024

  4. Runtime Verification

    Runtime Verification

    2007