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:
Körperschaften: | , |
---|---|
Weitere Verfasser: | , |
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!
|
Zusammenfassung: | Literaturangaben |
---|---|
Beschreibung: | XIII, 348 S. graph. Darst. |
ISBN: | 3540287019 3-540-28701-9 9783540287018 978-3-540-28701-8 |