Kyungmin Bae

Kyungmin Bae

Rewriting Logic and Its Applications: 14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

Lecture Notes in Computer Science, nr. 13252

Editat de Kyungmin Bae

30 iul 2022

Preț: 425^.13 lei 531^.41 lei

3-5 săpt. | 6-10 zile

-20%

Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

Lecture Notes in Computer Science, nr. 11222

Editat de Kyungmin Bae et al.

7 oct 2018

Preț: 320^.55 lei 400^.68 lei

6-8 săpt.

-20%