McIver, Annabelle.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Quantitative evaluation of systems15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
by:
(1998 :); Horvath, Andras.; McIver, Annabelle.; SpringerLink (Online service)
(書目-電子資源)
Formal methods - the next 30 yearsthird World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
(1998 :); Beek, Maurice H. ter.; McIver, Annabelle.; Oliveira, Jose N.; SpringerLink (Online service)
(書目-電子資源)
Abstraction, Refinement and Proof for Probabilistic Systems /
by:
McIver, Annabelle.; Morgan, Carroll.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer systems
Reliability (Engineering)
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Computer Science
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Programming Languages, Compilers, Interpreters
Computer science
Logic design
Mathematical Logic and Formal Languages
Artificial Intelligence.
Programming Techniques
Computer networks
Computer Science.
Probability and Statistics in Computer Science.
Simulation and Modeling.
Logics and Meanings of Programs