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
1st ed. 2016
Book Details
AI Summary
Delivery Location
Delivery fee: Select location
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.
Get Web Services, Formal Methods, and Behavioral Types by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
Verification, Model Checking, and Abstract Interpretation
Ksh 8,100.00
Computer, Intelligent Computing and Education Technology
Ksh 84,600.00
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024)
Ksh 36,000.00
Understanding Cybersecurity Law and Digital Privacy
Ksh 25,200.00
Sustainable Development Through Data Analytics and Innovation
Ksh 23,400.00
Marketing and Sales Automation
Ksh 9,900.00
