語系
Yahav, Eran.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Static analysis18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(1998 :); SpringerLink (Online service); Yahav, Eran.
(書目-電子資源)
Hardware and software: Verification and Testing10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings /
by:
(1998 :); SpringerLink (Online service); Yahav, Eran.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software architecture
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Simulation and Modeling.
Computer Communication Networks.