語系
McIver, Annabelle.
概要
| 作品: | 21 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Abstraction, Refinement and Proof for Probabilistic Systems
by:
Morgan, Carroll.; SpringerLink (Online service); McIver, Annabelle.
(書目-語言資料,印刷品)
Formal methods - the next 30 years = third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
International Symposium of Formal Methods Europe (2019 :); Beek, Maurice H. ter.; McIver, Annabelle.; SpringerLink (Online service); Oliveira, Jose N.
(書目-電子資源)
主題
Engineering mathematics.
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Systems engineering.
Probabilities.
Artificial Intelligence.
Computer Science.