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