Buy Used and New Mitsuhiro Okada Books

Software Security -- Theories and Systems: Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers: 2609 (Lecture Notes in Computer Science)

by Hideyuki Tokuda,Mitsuhiro Okada,Andre Scedrov,Benjamin Pierce,Akinori Yonezawa

ISBN 13: 9783540007081

Format: Paperback (488 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Conditional and Typed Rewriting Systems: 2nd International CTRS Workshop, Montreal, Canada, June 11-14, 1990. Proceedings: 516 (Lecture Notes in Computer Science)

by Stephane Kaplan, Mitsuhiro Okada

ISBN 13: 9783540543176

Format: Paperback (484 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later