Web Services and Formal Methods
Subtitle: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings (Lecture Notes in Computer Science)
Contributors: Mario Bravetti (Editor); Manuel Núñez (Editor); Gianluigi Zavattaro (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 5, 2006
Language: eng
Format: Paperback
Number of pages: 289
ISBN-13: 9783540388623
Subjects: General Theory of Computing; Internet; Networking - General; Computers; Computers - Languages / Programming; Computer Books: Languages; Programming - Software Development; Programming - Systems Analysis & Design; Computers / Programming / Software Development; Web services; XML; formal methods; formal verification; model checking; ontologies; performance engineering; petri nets; program analysis; program semantics; security analysis