5 Ebooks por Annabelle McIver
Andras Horvath & Annabelle McIver: Quantitative Evaluation of Systems
This book constitutes the proceedings of the 15th International Conference on Quantitative Evaluation Systems, QEST 2018, held in Beijing, China, in September 2018.The 24 full papers presented were c …
EPUB
Inglês
DRM
€57.64
Martin Davis & Ansgar Fehnker: Logic for Programming, Artificial Intelligence, and Reasoning
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regul …
PDF
Inglês
DRM
€57.89
Maurice H. ter Beek & Annabelle McIver: Formal Methods – The Next 30 Years
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congress on Formal Methods, in October 2019.Th …
EPUB
Inglês
DRM
€57.89
Mario S. Alvim & Konstantinos Chatzikokolakis: Science of Quantitative Information Flow
This book presents a comprehensive mathematical theory that explains precisely what information flow is, how it can be assessed quantitatively – so bringing precise meaning to the intuition that cert …
PDF
Inglês
DRM
€70.40
