Kazuhiro Ogata - Böcker

Visar alla böcker från författaren Kazuhiro Ogata.

4 produkter

Kategorier

4 produkter

Rewriting Logic and Its Applications

15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers

Av Kazuhiro Ogata, Narciso Martí-Oliet m. fl

Häftad, Engelska, 2024

959 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Av Kazuhiro Ogata, Mark Lawford m. fl

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

Av Shusaku Iida, José Meseguer m. fl

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

Av Kazuhiro Ogata, Dominique Mery m. fl

Häftad, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar