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:
Online Zugang:Inhaltsverzeichnis
Cover
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:Literaturangaben
Beschreibung:XIII, 348 S.
graph. Darst.
ISBN:3540287019
3-540-28701-9
9783540287018
978-3-540-28701-8