Kazuhiro Ogata — Books & Biography | Menrva Books | MenrvaBooks

Kazuhiro Ogata

Stand Alone

Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi

Formal Methods and Software Engineering

Company

Why Menrva Books

Help & Support

Legal & Privacy

© 2026 Menrva Books

All Rights Reserved.