Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad, 2015
729 kr
Del 11024 i serien Lecture Notes in Computer Science
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
Häftad, Engelska, 2018
729 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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 and verification of computer systems and networks through stochastic models and measurements emphasizing two frontier topics in research: quantitative information flow for security and industrial formal methods.
Produktinformation
- Utgivningsdatum2018-08-15
- Mått155 x 235 x 24 mm
- Vikt657 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor423
- FörlagSpringer International Publishing AG
- ISBN9783319991535
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Häftad, 2010
2 099 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
839 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad, 2019
729 kr
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
2 099 kr