Media type: Book; Conference Proceedings Title: Advanced lectures on software engineering : LASER Summer School 2007/2008 Contributor: Müller, Peter [Hrsg.] Event: LASER Summer School on Software Engineering imprint: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6029 Extent: VII, 187 S.; Ill., graph. Darst Language: English ISBN: 9783642130090; 3642130097 Publisher, production or purchase order numbers: Sonstige Nummer: 80014249 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Software Engineering > Programmverifikation > Nebenläufigkeit Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 931 Item ID: 32888776 Status: Loanable, place order > Ordering possible ‒ please log in