語系
Kuncak, Viktor.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
CAV (Conference) (2017 :); Majumdar, Rupak.; Kuncak, Viktor.; SpringerLink (Online service)
(書目-電子資源)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
CAV (Conference) (2017 :); Majumdar, Rupak.; Kuncak, Viktor.; SpringerLink (Online service)
(書目-電子資源)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
Kuncak, Viktor.; Rybalchenko, Andrey.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Programming Languages, Compilers, Interpreters.
The Computing Profession.
Computer software- Verification
Computer Science.
Simulation and Modeling.
System Performance and Evaluation.