Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
by
Guttman, Joshua D. editor.
Title
:
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
Author
:
Guttman, Joshua D. editor.
ISBN
:
9783030190521
Edition
:
1st ed. 2019.
Physical Description
:
XII, 239 p. 273 illus., 24 illus. in color. online resource.
Series
:
Security and Cryptology ; 11565
Subject Term
:
Data protection.
Computer organization.
Computers and civilization.
Programming languages (Electronic computers).
Computer logic.
Added Author
:
Guttman, Joshua D.
Landwehr, Carl E.
Meseguer, José.
Pavlovic, Dusko.
Added Corporate Author
:
SpringerLink (Online service)
Electronic Access
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 486057-1001 | ONLINE | | Elektronik Kütüphane |