Formal Techniques for Computer Systems and Business Processes
European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Mario Bravetti
Themen in »Formal Techniques for Computer Systems and Business Processes«
SOAP Service Oriented Architecture (SOA) XML communication formal method model checking security semantics
Stimmen zu »Formal Techniques for Computer Systems and Business Processes«
Details
ISBN: 9783540319030
Verlag: Springer Berlin
Erscheinung: 15.11.2005