00577nam a2200133Ia 4500008004100000020002200041041001200063100003400075245003600109260003200145440003800177650002100215650020700236231221s9999    xx            000 0 und d  a978-3-642-19589-1  aEnglish  aMario Bravetti, Tevfik Bultan 0aWeb Services and Formal Methods  c2011bSpringer USaNew York  aLecture Notes in Computer Science  aComputer Science  aInformation Systems Applications (incl.Internet); Software Engineering; Management of Computing and Information Systems; Information Storage and Retrieval; User Interfaces and Human Computer Interaction