Web services and formal methods
: 4th international workshop ; proceedings / WS-FM 2007, Brisbane, Australia, September 28 - 29, 2007. Marlon Dumas ; Reiko Heckel (ed.). - Berlin : Springer, 2008. - VIII, 168 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4937)
ISBN 978-3-540-79229-1 kart. : EUR 44.94 (freier Pr.), sfr 70.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Web services and formal methods
: third international workshop ; proceedings / WS-FM 2006, Vienna, Austria, September 8 - 9, 2006. Mario Bravetti ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4184)
ISBN 978-3-540-38865-4
Lizenzpflichtig
Quelle: DNB
Web services, E-Business, and the semantic web
: international workshop ; revised papers / CAiSE 2002 ; WES 2002, Toronto, Canada, May 27 - 28, 2002. Christoph Bussler ... (ed.). - Berlin : Springer, 2002. - XI, 275 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2512)
ISBN 978-3-540-00198-0 / 3-540-00198-0 kart. : EUR 42.80
Literaturangaben
Quelle: DNB
Web services, E-Business, and the semantic web
: international workshop ; revised papers / CAiSE 2002 ... Toronto, Canada, May 27 - 28, 2002. C. Bussler ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2512)
ISBN 978-3-540-36189-3
Lizenzpflichtig
Quelle: DNB
