Web services and formal methods: 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September… - SLUB Dresden

Medientyp: Buch; Konferenzbericht
Titel: Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16 - 17, 2010 ; revised selected papers
Beteiligte: Bravetti, Mario [Hrsg.]; Bultan, Tevfik [Sonstige Person, Familie und Körperschaft]
Veranstaltung: WS-FM
Erschienen: Berlin; Heidelberg [u.a.]: Springer, 2011
Erschienen in: Lecture notes in computer science ; 6551
Umfang: VIII, 190 S.; graph. Darst; 235 mm x 155 mm
Sprache: Englisch
ISBN: 3642195881; 9783642195884
Verlags-, Produktions- oder Bestellnummern: Sonstige Nummer: 80040756
RVK-Notation: SS 4800 : Lecture notes in computer science
Schlagwörter: Web Services > Serviceorientierte Architektur > Formale Methode
Entstehung:
Anmerkungen: Literaturangaben
Weitere Bestandsnachweise
0 : Lecture notes in computer science

Web services and formal methods : 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16 - 17, 2010 ; revised selected papers