Media type: Book Title: Semantik und Programmverifikation Contains: Literaturverz. S. [208] - 209 Contributor: Walther, Christoph [Author] imprint: Stuttgart; Leipzig; Wiesbaden: Teubner, 2001 Published in: Teubner-Texte zur Informatik ; 34 Issue: 1. Aufl. Extent: 211 S; Ill., graph. Darst; 21 cm Language: German ISBN: 3519003368 RVK notation: ST 140 : Semantik von Programmiersprachen Keywords: Funktionale Programmiersprache > Formale Semantik > Programmverifikation Origination: Footnote:
Departmental Library DrePunct – open access area Shelf-mark: ST 140 W237 Item ID: 30620135 Status: Loanable
Departmental Library DrePunct – stack Shelf-mark: 2006 8 054541 Item ID: 31571803 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.