Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows
tarafından
 
Guttman, Joshua D. editor.

Başlık
: 
Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

Yazar
: 
Guttman, Joshua D. editor.

ISBN
: 
9783030190521

Basım Bilgisi
: 
1st ed. 2019.

Fiziksel Tanımlama
: 
XII, 239 p. 273 illus., 24 illus. in color. online resource.

Seri
: 
Security and Cryptology ; 11565

Konu Terimleri
: 
Data protection.
 
Computer organization.
 
Computers and civilization.
 
Programming languages (Electronic computers).
 
Computer logic.

Yazar Ek Girişi
: 
Guttman, Joshua D.
 
Landwehr, Carl E.
 
Meseguer, José.
 
Pavlovic, Dusko.

Tüzel Kişi Ek Girişi
: 
SpringerLink (Online service)

Elektronik Erişim
: 
https://doi.org/10.1007/978-3-030-19052-1


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap486057-1001ONLINEElektronik Kütüphane