Formal techniques for computer systems and business processes : European Performance Engineering Workshop, EPWE 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 ; proceedings

Formal techniques for computer systems and business processes European Performance Engineering Workshop, EPWE 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005 ; proceedings

Literaturangaben

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: European Performance Engineering Workshop (BerichterstatterIn), International Workshop on Web Services and Formal Methods (BerichterstatterIn)
Weitere Verfasser: Bravetti, Mario (HerausgeberIn), Kloul, Leila (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin, Heidelberg, New York Springer 2005
Schriftenreihe:Lecture notes in computer science 3670
Schlagworte:
World Wide Web > Congresses > Konferenzschrift > Formale Methode > Web Services
Online Zugang:Inhaltsverzeichnis
Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!