語系
Chockler, Hana.
概要
作品: | 0 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Computer aided verification30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.Part I /
by:
(1998 :); Chockler, Hana.; SpringerLink (Online service); Weissenbacher, Georg.
(書目-電子資源)
Computer aided verification30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings.Part II /
by:
(1998 :); Chockler, Hana.; SpringerLink (Online service); Weissenbacher, Georg.
(書目-電子資源)
Hardware and software : verification and testing4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008 ; proceedings /
by:
(1998 :); Chockler, Hana.; Hu, Alan J.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Software architecture
Logics and Meanings of Programs.
Computer software
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Simulation and Modeling.