Abstraction, Refinement and Proof for Probabilistic Systems Annabelle McIver & Charles Carroll Morgan의 도서 더 보기

Formal Methods – The Next 30 Years Formal Methods – The Next 30 Years
Formal Methods – The Next 30 Years
2019년
Quantitative Evaluation of Systems Quantitative Evaluation of Systems
Quantitative Evaluation of Systems
2018년
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
Logic for Programming, Artificial Intelligence, and Reasoning
2015년