Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    FORMS/FORMAT 2007 - 6th symposium : formal methods for automation and safety in railway and automotive systems ; proceedings of Symposium FORMS/FORMAT 2007, Braunschweig, Germany, 25th and 26th January, 2007


    Weitere Titelangaben:

    Formal methods for automation and safety in railway and automotive systems



    Kongress:

    FORMS/FORMAT 2007 ; 6 (Braunschweig): 2007.01.25-26 FORMS/FORMAT 2007 ; 6 (Braunschweig): 2007.01.25-26
    Symposium of FORMS/FORMAT ; 6
    Symposium of FORMS/FORMAT ; 6 (Braunschweig) : 07.01.25-26


    Erscheinungsdatum :

    2007


    Format / Umfang :

    480 S.


    Anmerkungen:

    Ill., graph. Darst.
    Literaturangaben
    Langzeitarchivierung durch Gottfried Wilhelm Leibniz Bibliothek - Niedersächsische Landesbibliothek



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Deutsch



    Klassifikation :

    BKL:    55.84 Straßenverkehr / 55.34 Bahnbetriebstechnik
    DDC:    625.100289