Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Lecture Notes in Computer Science

Validation of Stochastic Systems

A Guide to Current Research

Editors: Baier, C., Haverkort, B.R., Hermanns, H., Katoen, J.-P., Siegle, M. (Eds.)

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-24611-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-22265-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (13 chapters)

  • Probabilistic Automata: System Types, Parallel Composition and Comparison

    Sokolova, Ana (et al.)

    Pages 1-43

  • Tutte le Algebre Insieme: Concepts, Discussions and Relations of Stochastic Process Algebras with General Distributions

    Bravetti, Mario (et al.)

    Pages 44-88

  • An Overview of Probabilistic Process Algebras and Their Equivalences

    López, Natalia (et al.)

    Pages 89-123

  • Verifying Qualitative Properties of Probabilistic Programs

    Bollig, Benedikt (et al.)

    Pages 124-146

  • On Probabilistic Computation Tree Logic

    Ciesinski, Frank (et al.)

    Pages 147-188

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-24611-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-22265-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Validation of Stochastic Systems
Book Subtitle
A Guide to Current Research
Editors
  • Christel Baier
  • Boudewijn R. Haverkort
  • Holger Hermanns
  • Joost-Pieter Katoen
  • Markus Siegle
Series Title
Lecture Notes in Computer Science
Series Volume
2925
Copyright
2004
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-24611-4
DOI
10.1007/b98484
Softcover ISBN
978-3-540-22265-1
Series ISSN
0302-9743
Edition Number
1
Number of Pages
VIII, 472
Topics