Formal Methods and Stochastic Models for Performance Evaluation: Fourth European

Monte Carlo Methods in Financial Engineering (Stochastic Modelling and Applied

Wolter - Formal Methods and Stochastic Models for Performance Evaluati - X555z

Stochastic Methods (Springer Series - Hardcover, by Gardiner Crispin - Very Good

Formal Methods for Performance Evaluation: 7th International School on Formal Me

Global Analysis in Mathematical Physics Geometric and Stochastic Methods HB Book

Stochastic Modelling and Applied Probability Ser.: Monte Carlo Methods in...

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA,