Media type: Book; Conference Proceedings Title: Formal methods and software engineering : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010 ; proceedings Contributor: Dong, Jin Song [Editor]; Zhu, Huibiao [Other] Event: International Conference on Formal Engineering Methods Published: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6447 Extent: XIV, 712 S.; graph. Darst; 24 cm Language: English ISBN: 3642169007; 9783642169007 Publisher, production or purchase order numbers: Sonstige Nummer: 80026674 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Softwareentwicklung > Formale Methode > Entscheidungsverfahren Programmverifikation > Programmanalyse > Softwaretest > Model Checking Serviceorientierte Architektur > Web Services > Leistungsbewertung Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1582 Item ID: 32893158 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order