Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)

Baier, Christel [Editor]; Haverkort, Boudewijn R. [Editor]; Hermanns, Holger [Editor]; Katoen, Joost-Pieter [Editor]; Siegle, Markus [Editor];

ISBN 10: 3540222650 / ISBN 13: 9783540222651

Published by Springer, 2004

About this Item

We are unable to ship to Canada at this time.Ex-library paperback in very nice condition with the usual markings and attachments.

Seller Inventory # UTD14a-0466

Bibliographic Details

• Title: Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science)
• Publisher: Springer
• Publication Date: 2004
• Language: English
• ISBN 10: 3540222650
• ISBN 13: 9783540222651
• Binding: Paperback
• Condition: Very Good
• Weight: 25 ounces

About this title

Synopsis

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.