Media type: Book; Conference Proceedings Title: Tools and algorithms for the construction and analysis of systems : 9th international conference ; proceedings Contributor: Garavel, Hubert [Hrsg.]; Hatcliff, John [Other] Event: TACAS ETAPS imprint: Berlin; Heidelberg [u.a.]: Springer, 2003 Published in: Lecture notes in computer science ; 2619 Extent: XVI, 604 S.; graph. Darst; 24 cm Language: English ISBN: 3540008985 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Systementwicklung Softwareentwicklung Model Checking Automatisches Beweisverfahren Systementwicklung Softwareentwicklung Model Checking Automatisches Beweisverfahren Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 5916 Item ID: 30810217 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order