Kazuhiro Ogata

Kazuhiro Ogata

2 ספרים במאגר

ספרים

Formal Methods and Software EngineeringKazuhiro Ogata

Formal Methods and Software Engineering

Kazuhiro Ogata · 2008

Rewriting Logic and Its ApplicationsKazuhiro Ogata

Rewriting Logic and Its Applications

Kazuhiro Ogata · 2024

ספרים משותפים ואוספים

ספרים שבהם Kazuhiro Ogata מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Specification, Algebra, and SoftwareShusaku Iida

Specification, Algebra, and Software

Shusaku Iida · 2014