Ogata, Kazuhiro books & textbook
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science)
Ogata, Kazuhiro Mery, Dominique Sun, Meng Liu, Shaoying
Springer /2024-11-29 Paperback / 424 Pages
isbn-10: 9819606160 / isbn-13: 9789819606160
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science, 8373)
Iida, Shusaku Meseguer, José Ogata, Kazuhiro
Springer /2014-02-25 Paperback / 679 Pages
isbn-10: 3642546234 / isbn-13: 9783642546235
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Programming and Software Engineering)
Ogata, Kazuhiro Lawford, Mark Liu, Shaoying
Springer /2016-10-15 Paperback / 503 Pages
isbn-10: 3319478451 / isbn-13: 9783319478456
Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
Ogata, Kazuhiro Martí-Oliet, Narciso
Springer /2024-08-02 Paperback / 220 Pages
isbn-10: 3031659406 / isbn-13: 9783031659409
