TY -
GEN
AU - Hutchison, David
AU - Pandu Rangan, C.
AU - Steffen, Bernhard
AU - Sudan, Madhu
AU - Terzopoulos, Demetri
AU - Tygar, Doug
AU - Vardi, Moshe Y.
AU - Weikum, Gerhard
AU - Wolf, Karsten
AU - Bruni, Roberto
AU - Kanade, Takeo
AU - Kittler, Josef
AU - Kleinberg, Jon
AU - Mattern, Friedemann
AU - Mitchell, John C.
AU - Naor, Moni
AU - Nierstrasz, Oscar
TI -
Web Services and Formal Methods
5th International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Revised Selected Papers
PB - Springer Berlin Heidelberg
SN - 9783642013645
KW - Computer Communication Networks
KW - Computer system performance
KW - Logic design
KW - Information systems
KW - Computer Science
KW - Computer science
KW - Software engineering
KW - Computer engineering.
KW - Application software.
KW - Computer networks .
KW - Formal methods (Computer science) Congresses
KW - Web services Congresses
KW - Konferenzschrift 2008 Mailand
KW - Web Services
KW - Formale Methode
KW - Kommunikationsprotokoll
KW - Dienstgüte
KW - Datensicherung
KW - Leistungsbewertung
KW - Semantic Web
KW - Ontologie Wissensverarbeitung
KW - Semantisches Netz
PY - 2009
BT - Lecture Notes in Computer Science ; 5387
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -