Title |
Formale Methoden in der Praxis : Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung, 16. Mai 2002, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, Institut für Informatik / Bernd-Holger Schlinghoff. [Humboldt-Universität zu Berlin. Hrsg.: Der Präsident der Humboldt-Universität zu Berlin] |
|---|---|
Involved |
Bernd-Holger Schlingloff (Verfasser) |
Published |
Berlin: Humboldt-Univ. |
Extent |
52 S. : Ill., graph. Darst. |
ISBN |
978-3-86004-187-1 |
Topic |
|
Series |
Öffentliche Vorlesungen / Humboldt-Universität zu Berlin ; H. 138 |
Record ID |
974554995 |
Please note
The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link: