Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures - Couverture souple

 
9783662454886: Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Synopsis

Stochastic models.- Abstraction techniques.- Stochastic model checking.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9783662454909: Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures

Edition présentée

ISBN 10 :  3662454904 ISBN 13 :  9783662454909
Editeur : Springer, 2014
Couverture souple