Showing 1 - 3 of 3 Results
1.
Formal to Practical Security: Papers Issued from the 2005-2008 Frenche-Japanese Collaboration by Cortier, Véronique, Kirchn... ISBN: 9783642020018 List Price: $59.95
2.
Software Security -- Theories and Systems by Okada, Mitsuhiro, Pierce, B... ISBN: 9783662183113 List Price: $24.99
3.
Conditional and Typed Rewriting Systems by Kaplan, Stephane, Okada, Mi... ISBN: 9783662190616 List Price: $24.99