3 Ebooks bởi 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
Anh
€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 revi …
PDF
Anh
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
Anh
DRM
€57.71
