Media type: Book; Commemorative Publication Title: Time for verification : essays in memory of Amir Pnueli Contributor: Manna, Zohar [Hrsg.]; Pnueli, Amir [GefeierteR]; Peled, Doron A. [Other] imprint: Berlin; Heidelberg [u.a.]: Springer, 2010 Published in: Lecture notes in computer science ; 6200 Festschrift Extent: X, 399 S.; Ill., graph. Darst Language: English ISBN: 3642137539; 9783642137532 Publisher, production or purchase order numbers: Sonstige Nummer: 80016188 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Formale Methode > Verifikation Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2017 8 1262 Item ID: 32891583 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order