Stochastic Model Checking

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Stochastic Model Checking lauten 9783662454893, 3662454890 und die Druck-ISBNs lauten 9783662454886, 3662454882. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Stochastic Model Checking lauten 9783662454893, 3662454890 und die Druck-ISBNs lauten 9783662454886, 3662454882. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.