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 The Illegal Wildlife Trade by
bigCover of the book Historical Perspectives on the State of Health and Health Systems in Africa, Volume I by
bigCover of the book Advances in Cryptology – ASIACRYPT 2018 by
bigCover of the book Imaging of Alimentary Tract Perforation by
bigCover of the book Mathematical Practitioners and the Transformation of Natural Knowledge in Early Modern Europe by
bigCover of the book Single-Molecule Metal-Induced Energy Transfer by
bigCover of the book FluSHELL – A Tool for Thermal Modelling and Simulation of Windings for Large Shell-Type Power Transformers by
bigCover of the book Revisiting Metaphors in International Relations Theory by
bigCover of the book Biochemical Basis and Therapeutic Implications of Angiogenesis by
bigCover of the book Recreational Drug Consumption by
bigCover of the book Music, Mind, and Embodiment by
bigCover of the book Multi-Agent-Based Simulation XV by
bigCover of the book The Great Music City by
bigCover of the book Inventory Management with Alternative Delivery Times by
bigCover of the book Intelligent Techniques in Engineering Management 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