Hoppa till sidans huvudinnehåll

Tevfik Bultan - Böcker

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

String Analysis for Software Verification and Security

AvTevfik Bultan,Fang Yu m. fl.

Inbunden, Engelska, 2018

1 279 kr

Skickas inom 10-15 vardagar

String Analysis for Software Verification and Security

AvTevfik Bultan,Fang Yu m. fl.

Häftad, Engelska, 2019

929 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

AvMario Bravetti,Tevfik Bultan

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar

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

699 kr

Skickas inom 10-15 vardagar