Suchfeld einblenden
Person Bravetti, Mario
2 Treffer
Seite < 1 >
Formal techniques for computer systems and business processes
: proceedings / European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1 - 3, 2005. Mario Bravetti ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3670)
ISBN 978-3-540-31903-0
Lizenzpflichtig
Quelle: DNB
Web services and formal methods
: third international workshop ; proceedings / WS-FM 2006, Vienna, Austria, September 8 - 9, 2006. Mario Bravetti ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4184)
ISBN 978-3-540-38865-4
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
