Bokus

Tevfik Bultan

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

  1. String Analysis for Software Verification and Security

    String Analysis for Software Verification and Security

    2018

  2. Web Services and Formal Methods

    Web Services and Formal Methods

    2011

  3. String Analysis for Software Verification and Security

    String Analysis for Software Verification and Security

    2018

  4. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    2011