Media type: Book; Conference Proceedings Title: Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 ; proceedings Contributor: Liu, Shaoying [Editor]; Maibaum, Tom [Other]; Araki, Keijiro [Other] Event: International Conference on Formal Engineering Methods Published: Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5256 Extent: XI, 396 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 354088193X; 9783540881933 Publisher, production or purchase order numbers: Sonstige Nummer: 12538577 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Softwareentwicklung > Formale Methode Softwaretest > Formale Methode Softwareentwicklung > Verifikation > Formale Methode Programmanalyse > Model Checking Systementwicklung > Zuverlässigkeit > Fehlertoleranz Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 9792 Item ID: 32109835 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order