Zugriff

    Weiterleitung zur SLUB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Forms 2000 - Formale Techniken für die Eisenbahnsicherung


    Beteiligte:
    Schnieder, Eckehard (Herausgeber:in)

    Kongress:

    Forms ; 2000 ; Braunschweig



    Erscheinungsdatum :

    2000


    Format / Umfang :

    V, 214 S.



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch , Deutsch



    Klassifikation :

    BKL:    55.34
    RVK:    ZO 5130






    Formale Techniken fur die Eisenbahnsicherungstechnik

    Schnieder, E. / Einer, S. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000


    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archiv | 2000