Kuznetsov, Stepan books & textbook
Logic, Language, and Security: Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday (Theoretical Computer Science and General Issues)
Nigam, Vivek Ban Kirigin, Tajana Talcott, Carolyn Guttman, Joshua Kuznetsov, Stepan Thau Loo, Boon Okada, Mitsuhiro
Springer /2020-10-29 Paperback / 216 Pages
isbn-10: 303062076X / isbn-13: 9783030620769