Media type: Book; Conference Proceedings Title: Integrated formal methods : third international conference ; proceedings Contributor: Butler, Michael [Editor] Event: IFM Published: Berlin; Heidelberg; New York [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2335 Extent: X, 399 S.; graph. Darst; 24 cm Language: English ISBN: 3540437037 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Systementwicklung > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5616 Item ID: 30634182 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order