Tevfik Bultan – författare
Visar alla böcker från författaren Tevfik Bultan. Handla med fri frakt och snabb leverans.
7 produkter
String Analysis for Software Verification and Security
Av Tevfik Bultan, Fang Yu m. fl.
Inbunden, 2018
1018 kr
Lägg i varukorg
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, …
String Analysis for Software Verification and Security
Av Abdulbaki Aydin, Muath Alkhalaf m. fl.
E-bok, 2018
903 kr
Lägg i varukorg
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, …
String Analysis for Software Verification and Security
Av Tevfik Bultan, Fang Yu m. fl.
Häftad, 2019
736 kr
Lägg i varukorg
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre and post-conditions of basic string operations using automata, symbolic representation of automata, …
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, 2011
569 kr
Lägg i varukorg
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. The 11 revised full papers presented together with one invited paper were carefully reviewed and …
Web Services and Formal Methods
7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
Av Tevfik Bultan, Mario Bravetti
E-bok, 2011
755 kr
Lägg i varukorg
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. The 11 revised full papers presented together with one invited paper were carefully reviewed and …
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, 2011
569 kr
Lägg i varukorg
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 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, …
Automated Technology for Verification and Analysis
9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
Av Pao-Ann Hsiung, Tevfik Bultan
E-bok, 2011
755 kr
Lägg i varukorg
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 revised regular papers presented together with 5 invited papers, 11 short papers, and 2 tool papers, …
