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
OUT OF STOCK
See Availability on Amazon3.
Conditional and Typed Rewriting Systems
by Kaplan, Stephane, Okada, Mi...
ISBN: 9783662190616
List Price: $24.99