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