語系
Kuncak, Viktor.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); 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:
Workshop on the Preservation of Stability under Discretization ((2001 :); Rybalchenko, Andrey.; Kuncak, Viktor.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part I /
by:
Kuncak, Viktor.; SpringerLink (Online service); Majumdar, Rupak.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Algorithm Analysis and Problem Complexity.
System Performance and Evaluation.
The Computing Profession.
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Artificial Intelligence (incl. Robotics)
Simulation and Modeling.
Computing Milieux.
Programming Languages, Compilers, Interpreters.
Computer software