Media type: Book; Conference Proceedings Title: Web services and formal methods : 6th international workshop, WS-FM 2009, Bologna, Italy, September 4-5, 2009 ; revised selected papers Contributor: Laneve, Cosimo [Other]; Su, Jianwen [Other] Event: WS-FM imprint: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6194 Extent: 195 S.; graph. Darst; 24 cm Language: English ISBN: 3642144578; 9783642144578 Publisher, production or purchase order numbers: Sonstige Nummer: 80018210 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Web Services > Serviceorientierte Architektur > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1248 Item ID: 32891056 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.