Media type: Book; Conference Proceedings Title: Lectures on formal methods and performance analysis : revised lectures Contributor: Brinksma, Ed [Hrsg.] Corporation: European Educational Forum Event: Summerschool on Formal Methods and Performance Analysis imprint: Berlin; Heidelberg [u.a.]: Springer, 2001 Published in: Lecture notes in computer science ; 2090 Tutorial Extent: VI, 429 S.; graph. Darst; 24 cm Language: English ISBN: 3540424792 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Leistungsbewertung > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5245 Item ID: 30083199 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order