Web services and formal methods : 6th international workshop, WS-FM, Bologna, Italy, Sept. 4-5, 2009 (e-book)

Web services and formal methods : 6th international workshop, WS-FM, Bologna, Italy, Sept. 4-5, 2009 (e-book) - Berlin Springer 2010 - Lecture Notes in Computer Science (LNCS) v.6194 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

978-3-642-14458-5


Computer Science and Engineering
Web services--Congresses
Formal methods (Computer science)--Congresses

Powered by Koha