Kazuhiro Ogata – författare

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

4 produkter

Kategorier

4 produkter

Del 14953
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
849 kr
Skickas inom 10-15 vardagar
Del 10009
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
749 kr
Skickas inom 10-15 vardagar
Specification, Algebra, and Software
Essays Dedicated to Kokichi Futatsugi
AvShusaku Iida,José Meseguerm. fl.
Häftad, Engelska, 2014
749 kr
Skickas inom 10-15 vardagar
Del 15394
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 129 kr
Skickas inom 10-15 vardagar