Annabelle McIver – författare
Visar alla böcker från författaren Annabelle McIver. Handla med fri frakt och snabb leverans.
11 produkter
Abstraction, Refinement and Proof for Probabilistic Systems
Av Charles Carroll Morgan, Annabelle McIver
E-bok, 2005
2065 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Abstraction, Refinement and Proof for Probabilistic Systems
Av Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
1641 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Abstraction, Refinement and Proof for Probabilistic Systems
Av Annabelle McIver, Charles Carroll Morgan
Häftad, 2010
1641 kr
Lägg i varukorg
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a …
Formal Methods – The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Maurice H. ter Beek, Annabelle McIver m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
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.The 44 full papers presented together with 3 invited presentations were carefully reviewed and …
Formal Methods - The Next 30 Years
Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings
Av Jose N. Oliveira, Annabelle McIver m. fl.
E-bok, 2019
732 kr
Lägg i varukorg
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. The 44 full papers presented together with 3 invited presentations were carefully reviewed and …
Science of Quantitative Information Flow
Av Mário S. Alvim, Konstantinos Chatzikokolakis m. fl.
Inbunden, 2020
660 kr
Lägg i varukorg
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 certain information leaks are small enough to be tolerated – and how systems can be constructed that …
Science of Quantitative Information Flow
Av Geoffrey Smith, Catuscia Palamidessi m. fl.
E-bok, 2020
903 kr
Lägg i varukorg
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 certain information leaks are small enough to be tolerated – and how systems can be constructed that …
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Av Annabelle McIver, Andras Horvath
Häftad, 2018
568 kr
Lägg i varukorg
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 carefully reviewed and selected from 51 submissions. The papers cover topics in the field of …
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Av Andras Horvath, Annabelle McIver
E-bok, 2018
718 kr
Lägg i varukorg
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 carefully reviewed and selected from 51 submissions. The papers cover topics in the field of …
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Av Martin Davis, Ansgar Fehnker m. fl.
Häftad, 2015
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji.The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and …
Logic for Programming, Artificial Intelligence, and Reasoning
20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings
Av Andrei Voronkov, Annabelle McIver m. fl.
E-bok, 2015
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 20thInternational Conference on Logic for Programming, Artificial Intelligence, andReasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invitedtalk included in this volume were carefully reviewed and …
