Study Week: Selected textbooks only 14.99 each—eBooks & softcovers on sale! Shop now >>

Programming and Software Engineering

Web Services, Formal Methods, and Behavioral Types

11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers

Editors: Hildebrandt, Th., Ravara, A., van der Werf, J.M., Weidlich, M. (Eds.)

Free Preview

Buy this book

eBook 35,30 €
price for Spain (gross)
  • ISBN 978-3-319-33612-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 43,68 €
price for Spain (gross)
  • ISBN 978-3-319-33611-4
  • 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
About this book

This volume contains the refereed joint proceedings of two initiatives that have been devoted to the formal foundations of complex systems: the workshops WS-FM:FASOCC 2014 and WS-FM/BEAT 2015.

The 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Services-Oriented and Cloud Computing, WS-FM 2014, took place in Eindhoven, The Netherlands, in September 2014. The 12th International Workshop on Web Services, Formal Methods, and Behavioral Types, WS-FM 2015, took place in Madrid, Spain, in September 2015.

The total of 8 papers presented in this volume was carefully reviewed and selected from 18 submissions. They were organized in topical sections named: expressiveness of behavioral models; service-oriented systems, and behavioral types. 

Table of contents (9 chapters)

Table of contents (9 chapters)

Buy this book

eBook 35,30 €
price for Spain (gross)
  • ISBN 978-3-319-33612-1
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 43,68 €
price for Spain (gross)
  • ISBN 978-3-319-33611-4
  • 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
Web Services, Formal Methods, and Behavioral Types
Book Subtitle
11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and 12th International Workshop, WS-FM/BEAT 2015, Madrid, Spain, September 4-5, 2015, Revised Selected Papers
Editors
  • Thomas Hildebrandt
  • António Ravara
  • Jan Martijn van der Werf
  • Matthias Weidlich
Series Title
Programming and Software Engineering
Series Volume
9421
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-33612-1
DOI
10.1007/978-3-319-33612-1
Softcover ISBN
978-3-319-33611-4
Edition Number
1
Number of Pages
XVII, 167
Number of Illustrations
36 b/w illustrations
Topics