Media type: Book Title: Einführung und formale Beschreibung eines Kalküls zur Programmentwicklung Contributor: Weber, Matthias [Author] Published: St. Augustin u.a.: Gesellschaft für Mathematik u. Datenverarbeitung, 1988 Published in: Gesellschaft für Mathematik und Datenverarbeitung: GMD-Studien ; 13300 Extent: 79 S Language: German ISBN: 3884571338 RVK notation: ST 230 : Software allgemein, (Einführung, Lehrbücher, Methoden der Programmierung) Software engineering, Programmentwicklungssysteme und Frameworks, Softwarewerkzeuge Keywords: Softwareentwicklung > Kalkül Softwareentwicklung > Lambda-Kalkül Origination: Footnote: Literaturverz. S. 76 - 77
Central Library – stack Shelf-mark: R2015 4 1801 Item ID: 10091035 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.