SBB StaBiKat - results/titledata

Suchergebnis

sortiert nach

Unscharfe Suche

Detailanzeige

______________

Treffer filtern

______________

Weitere Kataloge
und Datenbanken

Basisklassifikation

Historische Systematik
1501 - 1955

Lesesaal-
systematik

______________

Auskunft

Bibliothekskonto

Digitalisat bestellen

Anschaffungs-
vorschlag

______________

Datenschutz

Barrierefreiheit

Impressum
(Imprint)


			1 von 1
	Ihre Aktion	Suchen (Schlagwörter GND (Phrase) (XSP)) desarrollo de software eingrenzen (Basisklassifikation (XBKL)) 55.34

Titel:	Forms 2000 - Formale Techniken für die Eisenbahnsicherung / Eckehard Schnieder (Hrsg.)
Sonst. Personen:	Schnieder, Eckehard 1949- [Hrsg.]
Körperschaft/en:	Forms 2000 Braunschweig
Konferenz:	Workshop: Forms 2000 ; 2000 (Braunschweig) : 2000.11.29-30
Ausgabe:	Als Ms. gedr.
Sprache/n:	Deutsch, Englisch
Veröffentlichungsangabe:	Düsseldorf : VDI-Verl., 2000
Umfang:	V, 214 S. : graph. Darst.
Art des Inhalts:	Konferenzschrift (2000, Braunschweig)
Schriftenreihe:	Fortschritt-Berichte VDI. Reihe 12 / Verein Deutscher Ingenieure. - Düsseldorf : VDI-Verl., 1985- ; ZDB-ID: 50957-7 ; 441 Berichte der Institute für Automatisierungstechnik, Technische Universität Braunschweig
Anmerkung:	Beitr. teils dt., teils engl.
ISBN:	3-18-344112-8
Schlagwörter:	Eisenbahnsignalanlage / Verkehrsleitsystem / Softwareentwicklung / Formale Spezifikationstechnik Kongress
Sachgebiete:	55.34 Bahnbetriebstechnik
Mehr zum Thema:	Regensburger Verbund-Klassifikation: ZO 5130: ZG-ZS Technik / ZO Verkehr, Transport / Sicherungswesen

Signatur:	1 A 424787
Standort:	Potsdamer Straße




Literaturverwaltung:	BIBTEX - ENDNOTE - RIS

zugehörige Publikationen

1 von 1

1 von 1