Media type: Book; Conference Proceedings Title: Tools and algorithms for the construction and analysis of systems : 8th international conference ; proceedings Contributor: Katoen, Joost-Pieter [Editor] Event: TACAS ETAPS Published: Berlin; Heidelberg [u.a.]: Springer, 2002 Published in: Lecture notes in computer science ; 2280 Extent: XIII, 482 S.; graph. Darst; 24 cm Language: English ISBN: 3540434194 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Systementwicklung Softwareentwicklung Model Checking Systementwicklung Softwareentwicklung Model Checking Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5515 Item ID: 30631762 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order