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:
International Symposium of Formal Methods Europe (2019 :); McIver, Annabelle.; SpringerLink (Online service); 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.