Formal Methods for Web Services

Full text!
Format:
e-book
Title:
Formal Methods for Web Services
Author:
Bernardo, Marco; Kanade, Takeo; Padovani, Luca; Zavattaro, Gianluigi
Language:
English
Publisher:
Springer Berlin Heidelberg 2009
ISBN:
3-642-01917-X
3-642-01918-8
Subject:
Information Technology Software Engineering
Permalink:
http://bibtest.howest.be/catalog/ebk03:1000000000746045?locale=en