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.
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 109 kr
Science of Quantitative Information Flow
Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
Inbunden, 2020
849 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 109 kr
- Nyhet
Del 6