Meer dan een miljoen boeken binnen handbereik!
Bookbot

Eckehard Schnieder Volgorde van de boeken

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