Web Services and Formal Methods

Full text!
Format:
e-book
Title:
Web Services and Formal Methods
Author:
Laneve, Cosimo; Su, Jianwen
Language:
English
Publisher:
Springer Berlin Heidelberg 2010
ISBN:
3-642-14457-8
9786613565938
3-642-14458-6
1-280-38801-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:2670000000036333?locale=en