Tevfik Bultan - Böcker

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

4 produkter

Kategorier

4 produkter

String Analysis for Software Verification and Security

Av Tevfik Bultan, Fang Yu m. fl

Inbunden, Engelska, 2018

1 299 kr

Skickas inom 10-15 vardagar

String Analysis for Software Verification and Security

Av Tevfik Bultan, Fang Yu m. fl

Häftad, Engelska, 2019

939 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar