1 Treffer für Jahr = "2006 - 2013"

zu den Filteroptionen
  •  Das Dokument ist öffentlich zugänglich im Rahmen des deutschen Urheberrechts.

    Formal methods for safe and secure computers systems

    Garavel, Hubert ; Deutschland, Bundesamt für Sicherheit in der Informationstechnik
    Bonn : Federal Office for Information Security, 2013