Hoppa till sidans huvudinnehåll

Kazuhiro Ogata - Böcker

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

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 m. fl.

Häftad, Engelska, 2024

809 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

AvKazuhiro 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

AvShusaku Iida,José Meseguer m. fl.

Häftad, Engelska, 2014

719 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

AvKazuhiro Ogata,Dominique Mery m. fl.

Häftad, Engelska, 2024

949 kr

Skickas inom 10-15 vardagar