Library of American University of Madaba

Normal View MARC View ISBD View

Web services and formal methods : 6th International Workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009, revised selected papers / Cosimo Laneve, Jianwen Su (eds). - Berlin : Springer, 2010. - 195 p. : ill. - Lecture notes in computer science ; 6194 .

Includes bibliographical references and index

ISBN: 9783642144578

Subjects--Topical Terms:
Web services--Congresses.
Formal methods (Computer science)--Congresses.

Dewey Class. No.: 004.2 / W364