Più di un milione di libri, a un clic di distanza!
Bookbot

Eckehard Schnieder Ordine dei libri

    1 gennaio 1949
    International Workshop on Software Specification of Safety Relevant Transportation Control Tasks
    Entwurf komplexer Automatisierungssysteme
    Formal methods for automation and safety in railway and automotive systems
    Forms - Format 2010
    FORMS, FORMAT 2012
    Wird der Verkehr automatisch sicherer?