Theoretical Computer Science and General Issues

Formal Techniques for Computer Systems and Business Processes

European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings

Editors: Bravetti, Mario, Kloul, Leila, Zavattaro, Gianluigi (Eds.)

Buy this book

eBook 63,06 €
price for Italia (gross)
  • ISBN 978-3-540-31903-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Italia (gross)
  • ISBN 978-3-540-28701-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (24 chapters)

  • Performance Engineering and Stochastic Modelling

    Harrison, Peter

    Pages 1-14

    Preview Buy Chapter 30,44 €
  • Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems

    Ciardo, Gianfranco

    Pages 15-17

    Preview Buy Chapter 30,44 €
  • PiDuce: A Process Calculus with Native XML Datatypes

    Brown, Allen L. (et al.)

    Pages 18-34

    Preview Buy Chapter 30,44 €
  • Life After BPEL?

    Aalst, W. M. P. (et al.)

    Pages 35-50

    Preview Buy Chapter 30,44 €
  • On Moments of Discrete Phase-Type Distributions

    Dayar, Tuǧrul

    Pages 51-63

    Preview Buy Chapter 30,44 €

Buy this book

eBook 63,06 €
price for Italia (gross)
  • ISBN 978-3-540-31903-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Italia (gross)
  • ISBN 978-3-540-28701-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques for Computer Systems and Business Processes
Book Subtitle
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Editors
  • Mario Bravetti
  • Leila Kloul
  • Gianluigi Zavattaro
Series Title
Theoretical Computer Science and General Issues
Series Volume
3670
Copyright
2005
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-31903-0
DOI
10.1007/11549970
Softcover ISBN
978-3-540-28701-8
Edition Number
1
Number of Pages
XIII, 349
Topics