Web services and formal methods : 7th international workshop, WS-FM, Hoboken, NJ, USA, Sept. 16-17, 2010 (e-book)

Web services and formal methods : 7th international workshop, WS-FM, Hoboken, NJ, USA, Sept. 16-17, 2010 (e-book) - Berlin Springer 2011 - Lecture Notes in Computer Science (LNCS) v.6551 LNCS Sublibrary : SL 2 – Programming and Software Engineering .

978-3-642-19589-1


Computer Science and Engineering
Formal methods (Computer science)--Congresses
Web services--Congresses
Information storage and retrieval systems--Congresses
Software engineering--Congresses

Powered by Koha