Image from Amazon.com
Image from Google Jackets
Image from OpenLibrary
Handbook of formal analysis and verification in cryptography / Akleylek, Sedat
Material type:
TextLanguage: English Publisher: Boca Raton : CRC Press, Taylor & Francis Group, 2024Description: xv, 428 p. : ills., ; 23 cmISBN: - 9780367546656
- 003.54
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Reference
|
B. K. Birla College Library | Degree College Books | 003.54 AKL (Browse shelf(Opens below)) | Not for loan | 89305 |
Browsing B. K. Birla College Library shelves,Collection: Degree College Books Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| 003.3 LAW Simulation modeling and analysis / | 003.3 LAW Simulation modeling and analysis / | 003.3 ROB Simulation : the practice of model development and use / | 003.54 AKL Handbook of formal analysis and verification in cryptography / | 003.54 LIN Coding theory : a first course / | 003.54024658 BEL Analytics for managers : with Excel / | 003.83 BAK Discrete-Event System Simulation / |
Includes bibliographical references and index.
There are no comments on this title.
Log in to your account to post a comment.