Handbook of formal analysis and verification in cryptography / (Record no. 58261)

000 -LEADER
fixed length control field 00683nam a2200217 a 4500
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20260717093423.0
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 260717s2024 ii 000 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780367546656
041 ## - LANGUAGE CODE
Language code of text/sound track or separate title eng
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 003.54
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Akleylek, Sedat
245 10 - TITLE STATEMENT
Title Handbook of formal analysis and verification in cryptography /
Statement of responsibility, etc. Akleylek, Sedat
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Boca Raton :
Name of producer, publisher, distributor, manufacturer CRC Press, Taylor & Francis Group,
Date of production, publication, distribution, manufacture, or copyright notice 2024.
300 ## - PHYSICAL DESCRIPTION
Extent xv, 428 p. : ills., ; 23 cm.
500 ## - GENERAL NOTE
General note Includes bibliographical references and index.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Cryptography.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematical analysis.
650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Computer systems-Verification.
700 1# - ADDED ENTRY--PERSONAL NAME
Personal name Besik Dundua.
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Books
Holdings
Withdrawn status Lost status Damaged status Not for loan Collection Home library Current library Date acquired Cost, normal purchase price Total checkouts Full call number Barcode Date last seen Cost, replacement price Price effective from Koha item type
        Degree College Books B. K. Birla College Library B. K. Birla College Library 02/21/2025 17375.50   003.54 AKL 89305 07/17/2026 17375.50 07/17/2026 Reference