Treffer: Formal techniques for computer systems and business processes

Titel:
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.)
Verantwortlich:
Bravetti, Mario
Körper­schaft:
European Performance Engineering Workshop (2 : 2005 : Versailles)
Veröffent­licht:
Berlin : Springer, 2005
Umfang:
1 Online-Ressource
Publikationstyp:
E-Book
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 3670
alle Bände anzeigen
RVK-Notation:
SS 4000
Schlagworte:
DOI:
10.1007/11549970

Zusatz-Informationen

Zusatz-Funktionen