Title:
HANDBOOK OF FORMAL ANALYSIS AND VERIFICATION IN CRYPTOGRAPHY
Author:
Akleylek, Sedat.
ISBN:
9781000955477
9781003090052
9781000955491
Publication Information:
[S.l.] : CRC PRESS, 2023.
Physical Description:
1 online resource
Series:
Prospects in pure and applied mathematics
Electronic Access:
Taylor & Francis https://www.taylorfrancis.com/books/9781003090052OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 552799-1001 | QA76.9 .D335 | Searching... | Searching... |