Web Services and Formal Methods

Mario Bravetti, Tevfik Bultan

Web Services and Formal Methods - New York Springer US 2011 - Lecture Notes in Computer Science .

978-3-642-19589-1


Computer Science
Information Systems Applications (incl.Internet); Software Engineering; Management of Computing and Information Systems; Information Storage and Retrieval; User Interfaces and Human Computer Interaction

© For any Suggestions or Query, please contact the library staff @ librarian@pes.edu or Phone: +9180 2672 1983/ 2108.