Publication Date:
2024-04-14
Description:
authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security systems; semantics; separation logic; software engineering; verification; world wide web
Keywords:
authentication
;
computer science
;
computer software selection and evaluation
;
cryptography
;
data privacy
;
formal logic
;
formal methods
;
formal specification
;
internet
;
privacy
;
program compilers
;
programming languages
;
security systems
;
semantics
;
separation logic
;
software engineering
;
verification
;
world wide web
;
thema EDItEUR::U Computing and Information Technology::UY Computer science
;
thema EDItEUR::U Computing and Information Technology::UY Computer science
Language:
English
Format:
image/jpeg
Format:
image/jpeg
Format:
image/jpeg
Format:
image/jpeg