Showing 1 - 3 of 3 Results
1.
Handbook of Formal Analysis and Verification in Cryptography by Akleylek, Sedat, Dundua, Besik ISBN: 9780367546656 List Price: $200.00
2.
Handbook of Formal Analysis and Verification in Cryptography by Akleylek, Sedat, Dundua, Besik ISBN: 9780367546663
3.
Unity of Logic and Computation : 19th Conference on Computability in Europe, CiE 2023, Batum... by Della Vedova, Gianluca, Dun... ISBN: 9783031369773 List Price: $74.99