Media type: Book; Conference Proceedings Title: FME '97: Industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 - 19, 1997; proceedings Contains: Literaturangaben Contributor: Fitzgerald, John [Hrsg.] imprint: Berlin; Heidelberg [u.a.]: Springer, 1997 Published in: Lecture notes in computer science ; 1313 Extent: XIII, 684 S.; graph. Darst Language: English ISBN: 3540635335 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Systementwicklung > Formale Methode Softwareentwicklung > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4290 Item ID: 10014794 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.