Web Services and Formal Methods
Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Mario Bravetti
Themen in »Web Services and Formal Methods«
SOAP Service Oriented Architecture (SOA) XML formal method formal methods model checking ontologies performance engineering petri nets program analysis security security analysis semantic Web semantics systems analysis
Stimmen zu »Web Services and Formal Methods«
Details
ISBN: 9783540388654
Verlag: Springer Berlin
Erscheinung: 12.09.2006