Akademibokhandeln

Tevfik Bultan – författare

Visar alla böcker från författaren Tevfik Bultan.

4 produkter

  1. Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin - String Analysis for Software Verification and Security, Inbunden. Tillgänglighet: Lägg i varukorg

    String Analysis for Software Verification and Security

    Av Tevfik Bultan, Fang Yu m. fl.

    Inbunden, 2018

    1319 kr

    Lägg i varukorg

  2. Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin - String Analysis for Software Verification and Security, Häftad. Tillgänglighet: Lägg i varukorg

    String Analysis for Software Verification and Security

    Av Tevfik Bultan, Fang Yu m. fl.

    Häftad, 2019

    959 kr

    Lägg i varukorg

  3. Mario Bravetti, Tevfik Bultan - Web Services and Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    Web Services and Formal Methods

    7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers

    Av Mario Bravetti, Tevfik Bultan

    Häftad, 2011

    739 kr

    Lägg i varukorg

  4. Tevfik Bultan, Pao-Ann Hsiung - Automated Technology for Verification and Analysis, Häftad. Tillgänglighet: Lägg i varukorg

    Automated Technology for Verification and Analysis

    9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings

    Av Tevfik Bultan, Pao-Ann Hsiung

    Häftad, 2011

    739 kr

    Lägg i varukorg