3 Ebooks por Tevfik Bultan
Tevfik Bultan & Fang Yu: String Analysis for Software Verification and Security
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, com …
PDF
Inglês
€69.54
Tevfik Bultan & Pao-Ann Hsiung: Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011.The 23 …
PDF
Inglês
DRM
€83.29
Mario Bravetti & Tevfik Bultan: Web Services and Formal Methods
This book constitutes the thoroughly refereed post-workshop proceedings of the 7th International Workshop on Web Services and Formal Methods, WS-FM 2010, held in Hoboken, NJ, USA, in September 2010. …
PDF
Inglês
DRM
€56.87
