HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
tarafından
 
Akleylek, Sedat.

Başlık
: 
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY

Yazar
: 
Akleylek, Sedat.

ISBN
: 
9781000955477
 
9781003090052
 
9781000955491

Yayın Bilgileri
: 
[S.l.] : CRC PRESS, 2023.

Fiziksel Tanımlama
: 
1 online resource

Seri
: 
Prospects in pure and applied mathematics

Konu Terimleri
: 
COMPUTERS / Cryptography
 
TECHNOLOGY / Manufacturing
 
MATHEMATICS / Mathematical Analysis
 
Cryptography -- Mathematics.
 
Data encryption (Computer science) -- Mathematics.

Yazar Ek Girişi
: 
Akleylek, Sedat.
 
Dundua, Besik.

Elektronik Erişim
: 
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052
 
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap552799-1001QA76.9 .D335Taylor Fransic E-Kitap Koleksiyonu