Books > Computing & IT > Applications of computing > Databases
|
Buy Now
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 (Paperback, 1st ed. 2016)
Loot Price: R1,828
Discovery Miles 18 280
|
|
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 (Paperback, 1st ed. 2016)
Series: Lecture Notes in Computer Science, 9421
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|