Plus d’un million de livres, à portée de main !
Bookbot

Eckehard Schnieder Ordre des livres

    1 janvier 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?