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

 
9783662454909: Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Softcover
ISBN 10: 3662454904 ISBN 13: 9783662454909
Publisher: Springer, 2014

This specific ISBN edition is currently not available.

Synopsis

The tree areas of stochastic models.- Abstraction techniques.- Stochastic model checking.

"synopsis" may belong to another edition of this title.

Publisher
Springer
Publication date
2014
Language
English
ISBN 10 
3662454904
ISBN 13 
9783662454909
Binding
Paperback
Number of pages
296
Editor
Remke Anne, Stoelinga Mariëlle

Other Popular Editions of the Same Title

9783662454886: Stochastic Model Checking: International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures (Theoretical Computer Science and General Issues)

Featured Edition

ISBN 10:  3662454882 ISBN 13:  9783662454886
Publisher: Springer, 2014
Softcover