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

Nonfiction, Computers, Advanced Computing, Information Technology, Programming, Software Development, General Computing
Big bigCover of Web Services, Formal Methods, and Behavioral Types

More books from Springer International Publishing

bigCover of the book Provable Security by
bigCover of the book Digital Forensics and Cyber Crime by
bigCover of the book Shrinking Cities and First Suburbs by
bigCover of the book The Biceps and Superior Labrum Complex by
bigCover of the book Exploring Betty A. Reardon’s Perspective on Peace Education by
bigCover of the book Parameterized and Exact Computation by
bigCover of the book On the Ethical Imperatives of the Interregnum by
bigCover of the book Novel Aspects of Diamond by
bigCover of the book Melanie Klein by
bigCover of the book Multicriteria and Multiobjective Models for Risk, Reliability and Maintenance Decision Analysis by
bigCover of the book Bee Products - Chemical and Biological Properties by
bigCover of the book The Automatic Packaging Machinery Sector in Italy and Germany by
bigCover of the book Development of In Vitro Maturation for Human Oocytes by
bigCover of the book Maintenance Overtime Policies in Reliability Theory by
bigCover of the book Infinite Regress Arguments by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy