Mitsuhiro Okada

Mitsuhiro Okada is the author of "Formal to Practical Security", "Software Security -- Theories and Systems", "Logic, Language, and Security" and "Advances in Mathematical Logic".

Books by Mitsuhiro Okada

Formal to Practic...
Cortier Véronique
Electronic book text: $89.99

Software Security...
Okada Mitsuhiro
Paperback: $54.99

Conditional and T...
Kaplan Stephane
Electronic book text: $129.00

Advances in Mathe...
Arai Toshiyasu
Hardback: $179.99