Hoppa till sidans huvudinnehåll

Kazuhiro Ogata – författare

Visar alla böcker från författaren .
4 produkter
Kazuhiro Ogata, Narciso Martí-Oliet - Rewriting Logic and Its Applications, Häftad
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

Kazuhiro Ogata, Mark Lawford, Shaoying Liu - Formal Methods and Software Engineering, Häftad
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

Shusaku Iida, José Meseguer, Kazuhiro Ogata - Specification, Algebra, and Software, Häftad

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

Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu - Formal Methods and Software Engineering, Häftad
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