Kazuhiro Ogata - Böcker

Visar alla böcker från författaren Kazuhiro Ogata.
4 produkter
Kazuhiro Ogata, Narciso Martí-Oliet, Narciso Marti-Oliet - Rewriting Logic and Its Applications, Häftad
Del 14953 - Lecture Notes in Computer Science

Rewriting Logic and Its Applications

Av Kazuhiro Ogata, Narciso Martí-Oliet, Narciso Marti-Oliet

Häftad, Engelska, 2024

849 kr

Skickas inom 7-10 vardagar
Kazuhiro Ogata, Mark Lawford, Shaoying Liu - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

Av Kazuhiro Ogata, Mark Lawford, Shaoying Liu

Häftad, Engelska, 2016

739 kr

Skickas inom 7-10 vardagar
Shusaku Iida, José Meseguer, Kazuhiro Ogata, Kazuhiro Meseguer, José - Specification, Algebra, and Software, Häftad

Specification, Algebra, and Software

Av Shusaku Iida, José Meseguer, Kazuhiro Ogata, Kazuhiro Meseguer, José

Häftad, Engelska, 2014

739 kr

Skickas inom 7-10 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

Av Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu

Häftad, Engelska, 2024

1 019 kr

Skickas inom 7-10 vardagar