Tevfik Bultan – författare

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

4 produkter

Kategorier

4 produkter

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin - String Analysis for Software Verification and Security, Inbunden

String Analysis for Software Verification and Security

AvTevfik Bultan,Fang Yum. fl.

Inbunden, Engelska, 2018

1 309 kr

Skickas inom 10-15 vardagar

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin - String Analysis for Software Verification and Security, Häftad

String Analysis for Software Verification and Security

AvTevfik Bultan,Fang Yum. fl.

Häftad, Engelska, 2019

949 kr

Skickas inom 10-15 vardagar

Mario Bravetti, Tevfik Bultan - Web Services and Formal Methods, Häftad

Web Services and Formal Methods

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

AvMario Bravetti,Tevfik Bultan

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Tevfik Bultan, Pao-Ann Hsiung - Automated Technology for Verification and Analysis, Häftad

Automated Technology for Verification and Analysis

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

AvTevfik Bultan,Pao-Ann Hsiung

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar