Enlarge

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings

Publication Data

Title Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings
Alternative Title WS-FM 2006
Contributors Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro
Publisher Springer
Publication date 2006
Publication location Berlin
Language English

Topics

Web services :: Congresses
Formal methods (Computer science) :: Congresses

Catalogue Data

OBNB ID GBA684643
ISBN 10 3540388621
ISBN 13 9783540388623
Type BibliographicResource, Book
Dewey Classification 004.2

ISBD

P1053 x, 287 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 : proceedings. ISBN 9783540388623. Published by Springer in 2006. Publication and catalogue information, links to buy online and reader comments.