Detailed View
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 |