Media type: Book; Commemorative Publication; Conference Proceedings Title: Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday Contributor: Abrial, Jean-Raymond [Hrsg.]; Börger, Egon [GefeierteR]; Glässer, Uwe [Other] imprint: Berlin; Heidelberg [u.a.]: Springer, 2009 Published in: Lecture notes in computer science ; 5115 Extent: XVI, 233 S.; Ill., graph. Darst; 235 mm x 155 mm Language: English ISBN: 3642114466; 9783642114465 Publisher, production or purchase order numbers: Sonstige Nummer: 12821952 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Software Engineering Programmierung > Formale Methode Softwarespezifikation > Systemanalyse Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 9534 Item ID: 32184132 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.