Zugriff

    Weiterleitung zur SLUB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Forms/Format 2010 : formal methods for automation and safety in railway and automotive systems


    Weitere Titelangaben:

    FORMS/FORMAT 2010
    FORMS-FORMAT 2010


    Beteiligte:

    Erscheinungsdatum :

    2011


    Format / Umfang :

    XI, 256 S.



    Medientyp :

    Konferenzband


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    55.34 / 55.84
    RVK:    ZO 5870 / ZO 2000 / ZO 4870
    DDC:    620