Stochastic Model Checking International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Sale price
$49.49
Regular price $54.99
Reliable shipping
Flexible returns
Lecture Notes in Computer Science Theoretical Computer Science and General Issues
Stochastic Model Checking
International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures
Anne Remke | Mariëlle Stoelinga
Computers / Computer Science
Stochastic models.- Abstraction techniques.- Stochastic model checking.
| Publication Date: | 31 October 2014 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| ISBN-13: | 9783662454886 |
| Format: | Paperback softback |
| Page Count: | 281 |