This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area.
The lectures are organized in topical sections on: modeling stochastic systems, model checking of stochastic systems, representing large state spaces, deductive verification of stochastic systems.
List Price: $ 84.00
Price:
Tags: balanced introduction, current research, Dagstuhl, deductive verification, graduate students, model checking, relevant issues, research seminar, seminar organizers, state spaces, stochastic systems, systems model, topical sections, Validation, volume editors
The Language of SQL: How to Access Data in Relational Databases
Microsoft Windows Server 2008 : The Complete Reference
Mac OS X Leopard Bible