1.
Software Security -- Theories and Systems
by Okada, Mitsuhiro, Pierce, B...
ISBN: 9783662183113
List Price: $24.99
OUT OF STOCK
See Availability on Amazon2.
Tools and Methods for Program Analysis : 4th International Conference, TMPA 2017, Moscow, Ru...
by Itsykson, Vladimir, Scedrov...
ISBN: 9783319717333
List Price: $69.99
3.
Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Ha...
by Hansen, Helle Hvid, Scedrov...
ISBN: 9783031397837
List Price: $79.99