Shop the Archives and get your next eBook for just 14.99! Stock up today >>

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 $84.99
price for USA in USD (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 $109.00
price for USA in USD
  • 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

  • Implicit Representations and Algorithms for the Logic and Stochastic Analysis of Discrete–State Systems

    Ciardo, Gianfranco

    Pages 15-17

  • PiDuce: A Process Calculus with Native XML Datatypes

    Brown, Allen L., Jr. (et al.)

    Pages 18-34

  • Life After BPEL?

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

    Pages 35-50

  • On Moments of Discrete Phase-Type Distributions

    Dayar, Tuǧrul

    Pages 51-63

Buy this book

eBook $84.99
price for USA in USD (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 $109.00
price for USA in USD
  • 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