Web services and formal methods 5th international workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, revised selected papers / Roberto Bruni, Karsten Wolf (eds.).

Author/creator WS-FM 2008
Other author Bruni, Roberto.
Other author Wolf, Karsten.
Format Electronic
Publication InfoBerlin : Springer,
Descriptionx, 239 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental ContentFull text available from Springer Nature - Springer Computer Science eBooks 2009 English International
Supplemental ContentFull text available from Springer Books
Subjects
Web services--Congresses.
Formal methods (Computer science)--Congresses.

SeriesLecture notes in computer science ; 5387
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2009929943
ISBN9783642013638 (softcover : alk. paper)
ISBN3642013635 (softcover : alk. paper)