Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (1)

Jump To : Overview | Titles | Subjects

Catherine Meadows Festschrift Symposium ((2019 :)

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows / by: Catherine Meadows Festschrift Symposium ((2019 :); Guttman, Joshua D.; SpringerLink (Online service) (Electronic resources)

Subjects

Computer network protocols Software Engineering. Data protection Logics and Meanings of Programs. Cryptography Programming Languages, Compilers, Interpreters. Logic design Security. Computer Systems Organization and Communication Networks. Computers and Society.

Change password

Login