Languages
Kuncak, Viktor.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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)
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
Software Engineering.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Simulation and Modeling.
System Performance and Evaluation.
Computer software
Computing Milieux.
The Computing Profession.
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.