Konferenzschrift | Kongress
Forms 2000 - formale Techniken für die Eisenbahnsicherung
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183441129
3183441128
- Maße
-
21 cm
- Umfang
-
V, 214 S.
- Ausgabe
-
Al Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
Ill., graph. Darst.
Literaturangaben
- Erschienen in
-
Fortschritt-Berichte VDI / Verein Deutscher Ingenieure ; Nr. 441, Reihe 12
- Schlagwort
-
Eisenbahnsignalanlage
Verkehrsleitsystem
Softwareentwicklung
Formale Spezifikationstechnik
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
VDI-Verl.
- (wann)
-
2000
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:09 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Konferenzschrift
- Kongress
Beteiligte
- Schnieder, Eckehard
- VDI-Verl.
Entstanden
- 2000
Ähnliche Objekte (12)
Forms '99 - formale Techniken für die Eisenbahnsicherung
Spritzgiessen 2000 - Technik im Wandel
Logistische Spitzenleistungen, 2000.. Düsseldorf, 15. März 2000
Innovative Fahrzeugantriebe, 2000.. Dresden, 26. und 27. Oktober 2000
Entwicklungen im Karosseriebau, 2000.. Hamburg, 11. und 12. Mai 2000
Elektronik im Kraftfahrzeug, 2000.. Tagung Baden-Baden, 5. und 6. Oktober 2000
Die Technik prägt unsere Zeit
Ein Jahrhundert Technik : 100 Jahre VDI
Die Technik in den Berliner Museen
Fachgebiete der Technik in Jahresübersichten, [...]. Antriebselemente
Fachgebiete der Technik in Jahresübersichten, [...]. Antriebselemente
Ansätze zur formalen Verifikation analoger Schaltungen
Forms '99 - formale Techniken für die Eisenbahnsicherung
Spritzgiessen 2000 - Technik im Wandel
Logistische Spitzenleistungen, 2000.. Düsseldorf, 15. März 2000
Innovative Fahrzeugantriebe, 2000.. Dresden, 26. und 27. Oktober 2000
Entwicklungen im Karosseriebau, 2000.. Hamburg, 11. und 12. Mai 2000
Elektronik im Kraftfahrzeug, 2000.. Tagung Baden-Baden, 5. und 6. Oktober 2000
Die Technik prägt unsere Zeit
Ein Jahrhundert Technik : 100 Jahre VDI
Die Technik in den Berliner Museen
Fachgebiete der Technik in Jahresübersichten, [...]. Antriebselemente
Fachgebiete der Technik in Jahresübersichten, [...]. Antriebselemente
Ansätze zur formalen Verifikation analoger Schaltungen
Forms '99 - formale Techniken für die Eisenbahnsicherung
Spritzgiessen 2000 - Technik im Wandel
Logistische Spitzenleistungen, 2000.. Düsseldorf, 15. März 2000
Innovative Fahrzeugantriebe, 2000.. Dresden, 26. und 27. Oktober 2000
Entwicklungen im Karosseriebau, 2000.. Hamburg, 11. und 12. Mai 2000
Elektronik im Kraftfahrzeug, 2000.. Tagung Baden-Baden, 5. und 6. Oktober 2000
Die Technik prägt unsere Zeit
Ein Jahrhundert Technik : 100 Jahre VDI
Die Technik in den Berliner Museen
Fachgebiete der Technik in Jahresübersichten, [...]. Antriebselemente
Fachgebiete der Technik in Jahresübersichten, [...]. Antriebselemente