Benutzerdefiniertes Cover
Benutzerdefiniertes Cover
Normale Ansicht MARC ISBD

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Von: Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Security and CryptologyVerlag: Cham : Springer Nature, 2018Beschreibung: 1 Online-RessourceISBN:
  • 9783319897226
Schlagwörter: Online-Ressourcen: Zusammenfassung: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide webPPN: PPN: 1778549047Package identifier: Produktsigel: ZDB-94-OAB
Dieser Titel hat keine Exemplare

Open Access. Unrestricted online access star

Creative Commons https://creativecommons.org/licenses/by/4.0 cc

English

KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT

Powered by Koha