Rewriting Logic and Its Applications

Ediciones (1)

• Rewriting Logic and Its Applications (2024)

  Springer · inglés · ISBN 9783031659409

Más obras de Kazuhiro Ogata

Formal Methods and Software Engineering

Specification, Algebra, and Software

Ver todas las obras de Kazuhiro Ogata →