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.)

Free Preview

Buy this book

eBook 71,68 €
price for Spain (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 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-22265-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules

Table of contents (13 chapters)

Table of contents (13 chapters)
  • Probabilistic Automata: System Types, Parallel Composition and Comparison

    Pages 1-43

    Sokolova, Ana (et al.)

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

    Pages 44-88

    Bravetti, Mario (et al.)

  • An Overview of Probabilistic Process Algebras and Their Equivalences

    Pages 89-123

    López, Natalia (et al.)

  • Verifying Qualitative Properties of Probabilistic Programs

    Pages 124-146

    Bollig, Benedikt (et al.)

  • On Probabilistic Computation Tree Logic

    Pages 147-188

    Ciesinski, Frank (et al.)

Buy this book

eBook 71,68 €
price for Spain (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 90,47 €
price for Spain (gross)
  • ISBN 978-3-540-22265-1
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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