Media type: Book; Conference Proceedings Title: Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings Contributor: Leavens, Gary T. [Hrsg.] Event: VSTTE imprint: Berlin; Heidelberg: Springer, 2010 Published in: Lecture notes in computer science ; 6217 Extent: X, 215 S.; graph. Darst; 24 cm Language: English ISBN: 364215056X; 9783642150562 Publisher, production or purchase order numbers: Sonstige Nummer: 80020270 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Software > Verifikation Softwaretest > Programmanalyse > Programmverifikation > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1195 Item ID: 32893569 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order