Kazuhiro Ogata – författare

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

4 produkter

1. 

   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

   Häftad, 2024

   829 kr

   Lägg i varukorg

2. 

   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, 2016

   739 kr

   Lägg i varukorg

3. 

   Specification, Algebra, and Software

   Essays Dedicated to Kokichi Futatsugi

   Av Shusaku Iida, José Meseguer m. fl.

   Häftad, 2014

   739 kr

   Lägg i varukorg

4. 

   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, 2024

   1109 kr

   Lägg i varukorg