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 Combinatorial Algorithms by
bigCover of the book Achievements, History and Challenges in Geophysics by
bigCover of the book The World Bank and Transferring Development by
bigCover of the book Machine Learning and Knowledge Discovery in Databases by
bigCover of the book Thomas Hardy and History by
bigCover of the book Problems and Solutions in Thermoelasticity and Magneto-thermoelasticity by
bigCover of the book NMR-Bioassay Guided Isolation of the Natural 20S Proteasome Inhibitors from Photorhabdus Luminescens by
bigCover of the book Introduction to the Analytic Hierarchy Process by
bigCover of the book Work–Family Interface in Sub-Saharan Africa by
bigCover of the book Progress in Clean Energy, Volume 1 by
bigCover of the book Space Modeling with SolidWorks and NX by
bigCover of the book Advances in Materials, Mechanical and Industrial Engineering by
bigCover of the book Eastern Europe in 1968 by
bigCover of the book Quantum Theory and Statistical Thermodynamics by
bigCover of the book Value-Oriented Media 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