Detailed View

Export the results of this page in detailed view as PDF
II. Higher Education, Higher Education Policy (Higher Education Law, Higher Education Organisation, Personnel Structure, Student Body, Educational Assistance, Higher Education Statistics)
C. Books
Author SCHLINGHOFF, Bernd-Holger (HUMBOLDT-UNIVERSITÄT [BERLIN] / INSTITUT FÜR INFORMATIK)
Title Formale Methoden in der Praxis : Softwaredesign für Luft- und Raumfahrt : Antrittsvorlesung, 16. Mai 2002 / Bernd-Holger Schlingloff. Humbolt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik
Publisher Berlin, 2005
Collation 52 S. : Ill.
Publication year 2005
Series (Öffentliche Vorlesungen / Humboldt-Universität zu Berlin ; 138)
ISBN 3-86004-187-8
Inventory number 73445
Keywords Hochschulen : Berlin HU : Personal, Vorlesungen ; Wissenschaft : Raumforschung, Raumplanung
Signature H 10-065 OEFF