Hoppa till sidans huvudinnehåll

Kazuhiro Ogata – författare

Visar alla böcker från författaren Kazuhiro Ogata.
4 produkter
Del 14953 - Lecture Notes in Computer Science

Rewriting Logic and Its Applications

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

AvKazuhiro Ogata,Narciso Martí-Oliet

Häftad, Engelska, 2024

819 kr

Skickas inom 10-15 vardagar

Del 10009 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

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

AvKazuhiro Ogata,Mark Lawfordm. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Specification, Algebra, and Software

Essays Dedicated to Kokichi Futatsugi

AvShusaku Iida,José Meseguerm. fl.

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Del 15394 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

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

AvKazuhiro Ogata,Dominique Merym. fl.

Häftad, Engelska, 2024

1 089 kr

Skickas inom 10-15 vardagar