Media type: Book; Conference Proceedings Title: Web services and formal methods : third international workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006 ; proceedings Contributor: Bravetti, Mario [Hrsg.]; Núñez, Manuel [Other]; Zavattaro, Gianluigi [Other] Event: WS-FM imprint: Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4184 Extent: X, 287 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540388621; 9783540388623 Publisher, production or purchase order numbers: Sonstige Nummer: 11841197 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Formale Methode > Web Services Kommunikationsprotokoll > Web Services Datensicherung > Leistungsbewertung > Dienstgüte > Web Services Semantisches Netz > Semantic Web > Web Services > Ontologie Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7735 Item ID: 31592433 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.