Languages
McIver, Annabelle.
Overview
| Works: | 21 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Abstraction, Refinement and Proof for Probabilistic Systems
by:
Morgan, Carroll.; SpringerLink (Online service); McIver, Annabelle.
(Language materials, printed)
Formal methods - the next 30 years = third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019 : proceedings /
by:
McIver, Annabelle.; SpringerLink (Online service); International Symposium of Formal Methods Europe (2019 :); Oliveira, Jose N.; Beek, Maurice H. ter.
(Electronic resources)
Subjects
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.