-
Logic for Programming, Artificial Intelligence, and Reasoning
EbookSofort lieferbarThis book constitutes the proceedings of the 20...
-
Abstraction, Refinement and Proof for Probabilistic Systems
EbookSofort lieferbarProbabilistic techniques are increasingly being...
-
Quantitative Evaluation of Systems
EbookSofort lieferbarThis book constitutes the proceedings of the 15...
-
Formal Methods - The Next 30 Years
EbookSofort lieferbarThe 44 full papers presented together with 3 in...
-
The Science of Quantitative Information Flow
EbookSofort lieferbarThis book presents a comprehensive mathematical...
-
Quantitative Evaluation of Systems
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 15...
-
Logic for Programming, Artificial Intelligence, and Reasoning
TaschenbuchPrint on DemandThis book constitutes the proceedings of the 20...
-
Formal Methods - The Next 30 Years
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
Abstraction, Refinement and Proof for Probabilistic Systems
TaschenbuchPrint on DemandIllustrates by example the typical steps necess...
-
The Science of Quantitative Information Flow
BuchPrint on DemandThis book presents a comprehensive mathematical...
-
Abstraction, Refinement and Proof for Probabilistic Systems
BuchBesorgungstitel - wird vorgemerktProbabilistic techniques are increasingly being...
- 1
Folgen Sie uns auf:
