Verfügbarkeit: Formale Methoden in der Praxis | Technische Universität München

Formale Methoden in der Praxis: Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002

Gespeichert in:

Bibliographische Detailangaben
Beteilige Person:	Schlingloff, Bernd-Holger 1959- (VerfasserIn)
Format:	Buch
Sprache:	Deutsch
Veröffentlicht:	Berlin Humboldt-Univ. 2005
Schriftenreihe:	Öffentliche Vorlesungen / Humboldt-Universität zu Berlin 138
Umfang:	52 S. Ill.
ISBN:	3860041878

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV019814822
003	DE-604
005	00000000000000.0
007	t\|
008	050519s2005 xx a\|\|\| \|\|\|\| 00\|\|\| ger d
020			\|a 3860041878 \|9 3-86004-187-8
035			\|a (OCoLC)644016339
035			\|a (DE-599)BVBBV019814822
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a ger
049			\|a DE-29 \|a DE-12 \|a DE-83 \|a DE-11 \|a DE-188
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
084			\|a ST 233 \|0 (DE-625)143620: \|2 rvk
084			\|a ST 620 \|0 (DE-625)143684: \|2 rvk
084			\|a US 9500 \|0 (DE-625)146757: \|2 rvk
100	1		\|a Schlingloff, Bernd-Holger \|d 1959- \|e Verfasser \|0 (DE-588)112417353 \|4 aut
245	1	0	\|a Formale Methoden in der Praxis \|b Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002 \|c Bernd-Holger Schlingloff
264		1	\|a Berlin \|b Humboldt-Univ. \|c 2005
300			\|a 52 S. \|b Ill.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Öffentliche Vorlesungen / Humboldt-Universität zu Berlin \|v 138
810	2		\|a Humboldt-Universität zu Berlin \|t Öffentliche Vorlesungen \|v 138 \|w (DE-604)BV043848680 \|9 138
943	1		\|a oai:aleph.bib-bvb.de:BVB01-013140182

Datensatz im Suchindex

_version_	1818960999574667264
any_adam_object
author	Schlingloff, Bernd-Holger 1959-
author_GND	(DE-588)112417353
author_facet	Schlingloff, Bernd-Holger 1959-
author_role	aut
author_sort	Schlingloff, Bernd-Holger 1959-
author_variant	b h s bhs
building	Verbundindex
bvnumber	BV019814822
classification_rvk	ST 230 ST 233 ST 620 US 9500
ctrlnum	(OCoLC)644016339 (DE-599)BVBBV019814822
discipline	Physik Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01200nam a2200325 cb4500</leader><controlfield tag="001">BV019814822</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">050519s2005 xx a\|\|\| \|\|\|\| 00\|\|\| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3860041878</subfield><subfield code="9">3-86004-187-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)644016339</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019814822</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 620</subfield><subfield code="0">(DE-625)143684:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">US 9500</subfield><subfield code="0">(DE-625)146757:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schlingloff, Bernd-Holger</subfield><subfield code="d">1959-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)112417353</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Methoden in der Praxis</subfield><subfield code="b">Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002</subfield><subfield code="c">Bernd-Holger Schlingloff</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Humboldt-Univ.</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">52 S.</subfield><subfield code="b">Ill.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Öffentliche Vorlesungen / Humboldt-Universität zu Berlin</subfield><subfield code="v">138</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Humboldt-Universität zu Berlin</subfield><subfield code="t">Öffentliche Vorlesungen</subfield><subfield code="v">138</subfield><subfield code="w">(DE-604)BV043848680</subfield><subfield code="9">138</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013140182</subfield></datafield></record></collection>
id	DE-604.BV019814822
illustrated	Illustrated
indexdate	2024-12-20T12:06:27Z
institution	BVB
isbn	3860041878
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-013140182
oclc_num	644016339
open_access_boolean
owner	DE-29 DE-12 DE-83 DE-11 DE-188
owner_facet	DE-29 DE-12 DE-83 DE-11 DE-188
physical	52 S. Ill.
publishDate	2005
publishDateSearch	2005
publishDateSort	2005
publisher	Humboldt-Univ.
record_format	marc
series2	Öffentliche Vorlesungen / Humboldt-Universität zu Berlin
spelling	Schlingloff, Bernd-Holger 1959- Verfasser (DE-588)112417353 aut Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002 Bernd-Holger Schlingloff Berlin Humboldt-Univ. 2005 52 S. Ill. txt rdacontent n rdamedia nc rdacarrier Öffentliche Vorlesungen / Humboldt-Universität zu Berlin 138 Humboldt-Universität zu Berlin Öffentliche Vorlesungen 138 (DE-604)BV043848680 138
spellingShingle	Schlingloff, Bernd-Holger 1959- Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002
title	Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002
title_auth	Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002
title_exact_search	Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002
title_full	Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002 Bernd-Holger Schlingloff
title_fullStr	Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002 Bernd-Holger Schlingloff
title_full_unstemmed	Formale Methoden in der Praxis Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002 Bernd-Holger Schlingloff
title_short	Formale Methoden in der Praxis
title_sort	formale methoden in der praxis softwaredesign fur luft und raumfahrt antrittsvorlesung 16 mai 2002
title_sub	Softwaredesign für Luft- und Raumfahrt ; Antrittsvorlesung 16. Mai 2002
volume_link	(DE-604)BV043848680
work_keys_str_mv	AT schlingloffberndholger formalemethodeninderpraxissoftwaredesignfurluftundraumfahrtantrittsvorlesung16mai2002

Verfügbarkeit

MARC

Datensatz im Suchindex

‌