Media type: Book; Conference Proceedings Title: FM 2011: formal methods : 17th International Symposium on Formal Methods, Limerick, Ireland, June 20 - 24, 2011; proceedings Contributor: Butler, Michael [Hrsg.]; Schulte, Wolfram [Other] Event: FM imprint: Berlin; Heidelberg [u.a.]: Springer, 2011 Published in: Lecture notes in computer science ; 6664 Extent: XIV, 459 S.; graph. Darst Language: English ISBN: 9783642214363; 3642214363 Publisher, production or purchase order numbers: Sonstige Nummer: 80063841 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1866 Item ID: 32989224 Status: Loanable, place order > Ordering possible ‒ please log in