Media type: Book; Conference Proceedings Title: Integrated formal methods : 7th international conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009 ; proceedings Contributor: Leuschel, Michael [Hrsg.]; Wehrheim, Heike [Other] Event: IFM imprint: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5423 Extent: X, 366 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642002544; 9783642002540 Publisher, production or purchase order numbers: Sonstige Nummer: 12618477 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Formale Methode > Spezifikationssprache > Verifikation Model Checking > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 10000 Item ID: 32119496 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.