1 Treffer für Serie = "Study"

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