Programming and Software Engineering

Web Services and Formal Methods

Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings

Editors: Bravetti, Mario, Núñez, Manuel, Zavattaro, Gianluigi (Eds.)

Free Preview

Buy this book

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

Table of contents (18 chapters)

Table of contents (18 chapters)

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Web Services and Formal Methods
Book Subtitle
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Editors
  • Mario Bravetti
  • Manuel Núñez
  • Gianluigi Zavattaro
Series Title
Programming and Software Engineering
Series Volume
4184
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-38865-4
DOI
10.1007/11841197
Softcover ISBN
978-3-540-38862-3
Edition Number
1
Number of Pages
X, 289
Topics