語系
Bultan, Tevfik.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Automated technology for verification and analysis = 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011 : proceedings /
by:
Hsiung, Pao-Ann.; SpringerLink (Online service); Bultan, Tevfik.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
String analysis for software verification and security
by:
SpringerLink (Online service); Bultan, Tevfik.
(書目-語言資料,印刷品)
Web services and formal methods = 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010 : revised selected papers /
by:
Bravetti, Mario.; Workshop on the Preservation of Stability under Discretization ((2001 :); Bultan, Tevfik.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Formal methods (Computer science)
Software Engineering/Programming and Operating Systems.
Systems and Data Security.
Computer Communication Networks.
Automatic theorem proving
Symbolic and Algebraic Manipulation.
Web services
Computer Science.
Programming Techniques.
Information Systems Applications (incl.Internet)
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Management of Computing and Information Systems.
Artificial intelligence
User Interfaces and Human Computer Interaction.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Computer software