Web Services, Formal Methods, and Behavioral Types

Web Services, Formal Methods, and Behavioral Types

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

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

Read more
E-book
pdf
Price
37.99 £

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

Read more

Options

  • Formats: pdf
  • ISBN: 9783319336121
  • Publication Date: 19 Apr 2016
  • Publisher: Springer International Publishing
  • Product language: English
  • Drm Setting: DRM