Formal Modeling: Actors; Open Systems, Biological Systems
Gul Agha, Olivier Danvy, José Meseguer
Häftad, 2011
556 kr
Quantitative Evaluation of Systems
13th International Conference, QEST 2016, Quebec City, QC, Canada, August 23-25, 2016, Proceedings
540 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This book constitutes the proceedings of the 13th International Conference on Quantitative Evaluation Systems, QEST 2016, held in Quebec City, Canada, in August 2016. The 21 full papers and 3 tool demonstration papers presented were carefully reviewed and selected from 46 submissions. Markov decision processes and Markovian analysis;
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Concurrent Objects and Beyond
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
Häftad, 2014
556 kr
- -23%
- Nyhet
Del 2
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr
- -30%
- -19%
- 4 för 3