Treffer: Formal Techniques for Computer Systems and Business Processes

Titel:

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 / edited by Mario Bravetti, Leila Kloul, Gianluigi Zavattaro

Verantwortlich:

Bravetti, Mario (Herausgeber); Kloul, Leila (Herausgeber); Zavattaro, Gianluigi (Herausgeber)

Ausgabe:

1st ed. 2005

Veröffentlicht:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

Vertrieb:

Cham : Springer International Publishing AG

Umfang:

1 Online-Ressource (XIII, 349 Seiten)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Theoretical Computer Science and General Issues, ISSN 2512-2029 ; 3670

Andere Ausgaben:

Erscheint auch als Druck-Ausgabe: Formal Techniques for Computer Systems and Business Processes. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2005. - ISBN 9783540287018

RVK-Notation:

SS 4000

Schlagworte:

ISBN:

9783540319030 ; 3540319034 ; --354028701-9 ; --354081511-2 ; 978--354028701-8 (Sekundärausgabe) ; 978--354081511-2 (Sekundärausgabe)

DOI:

10.1007/11549970

Treffer: Formal Techniques for Computer Systems and Business Processes

Zusatz-Informationen

Zusatz-Funktionen