Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
Häftad, 2015
556 kr
Quantitative Evaluation of Systems
15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings
AvAnnabelle McIver,Andras Horvath
Häftad, Engelska, 2018
Del 11024 i serien Lecture Notes in Computer Science
556 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska 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
1 606 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
647 kr
Formal Methods – The Next 30 Years
Maurice H. ter Beek, Annabelle McIver, José N. Oliveira
Häftad, 2019
556 kr
Abstraction, Refinement and Proof for Probabilistic Systems
Annabelle McIver, Charles Carroll Morgan
Inbunden, 2004
1 606 kr
- -19%
- 4 för 3
Del 1
- 4 för 3
- 4 för 3
Del 8
- 4 för 3