Formal Methods and Stochastic Models for Performance Evaluation Miklós Telek
53,49 €
Titel: Formal Methods and Stochastic Models for Performance Evaluation, Untertitel: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings, Einband: Taschenbuch, Autor: Miklós Telek, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 252, Maße: 235x155x14 mm, Gewicht: 388 g, Verkäufer: buch-mimpf, Schlagworte: Datenverarbeitung / Anwendungen / Mathematik, Statistik Performance Engineering QoS Stochastic Modeling Unified Modeling Language (UML) Web Services algorithms benchmarking calculus formal method formal verification model checking program semantics scheduling software analysis systems analysis.
Jetzt bei Ebay:
