| Artikelnummer | 233357632 | Erscheinungsdatum | 2026/06/27 | Listenpreis | €19.18 | Modellnummer | 233357632 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
This book constitutes the proceedings of the 11th International Conference on Quantitative Evaluation of Systems, QEST 2014, held in Florence, Italy, in September 2014. The 24 full papers and 5 short papers included in this volume were carefully reviewed and selected from 61 submissions. They are organized in topical sections named: Kronecker and product form methods; hybrid systems; mean field/population analysis; models and tools; simulation; queueing, debugging and tools; process algebra and equivalences; automata and Markov process theory; applications, theory and tools; and probabilistic model checking. Read more
| ISBN10 | 3319106953 |
|---|---|
| ISBN13 | 978-3319106953 |
| Edition | 2014th |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.99 x 9.25 inches |
| Item Weight | 1.35 pounds |
| Print length | 436 pages |
| Publication date | August 20, 2014 |
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
KorrekturanfrageFür dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.