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
Elektronik Erişim:
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 552799-1001 | QA76.9 .D335 | Arıyor... | Arıyor... |