|
Showing 1 - 1 of
1 matches in All Departments
|
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)
Thomas Hildebrandt, Antonio Ravara, Jan Martijn van der Werf, Matthias Weidlich
|
R1,828
Discovery Miles 18 280
|
Ships in 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.
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
It: Chapter 1
Bill Skarsgård
Blu-ray disc
R149
R49
Discovery Miles 490
|