Cimatti, Alessandro.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods for industrial critical systems = 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20-22, 2023 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Titolo, Laura.; SpringerLink (Online service); Cimatti, Alessandro.
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Sebastiani, Roberto.; SpringerLink (Online service); Cimatti, Alessandro.
(書目-語言資料,印刷品)
Software engineering and formal methods = 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017 : proceedings /
by:
Cimatti, Alessandro.; SpringerLink (Online service); Sirjani, Marjan.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Computer algorithms
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
System Performance and Evaluation.
Theory of Computation.
Computer Science.
Programming Techniques.
Compilers and Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information and Communication, Circuits.
Computer Engineering and Networks.
Computer and Information Systems Applications.
Artificial Intelligence (incl. Robotics)
Artificial Intelligence.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer software
Computation by Abstract Devices.