Web services and formal methods : 10th international workshop, WS-FM 2013, Beijing, China, August [28-29,] 2013 ; revised selected papers

Web services and formal methods 10th international workshop, WS-FM 2013, Beijing, China, August [28-29,] 2013 ; revised selected papers

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: WS-FM (BerichterstatterIn), BPM (BerichterstatterIn)
Weitere Verfasser: Tuosto, Emilio (BerichterstatterIn), Ouyang, Chun (BerichterstatterIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Berlin u.a. Springer 2014
Schriftenreihe:Lecture notes in computer science 8379
Schlagworte:
Konferenzschrift > Web Services > Formale Methode
Online Zugang:Inhaltsverzeichnis
Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Co-located with the 11th International Conference on Business Process Management (BPM 2013)
Beschreibung:VIII, 187 S.
Ill., graph. Darst.
235 mm x 155 mm
ISBN:9783319082592
978-3-319-08259-2