Kyungmin Bae – författare

Visar alla böcker från författaren Kyungmin Bae.

2 produkter

1. 

   Formal Aspects of Component Software

   15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings

   Av Kyungmin Bae, Peter Csaba Ölveczky

   Häftad, 2018

   729 kr

   Lägg i varukorg

2. 

   Rewriting Logic and Its Applications

   14th International Workshop, WRLA 2022, Munich, Germany, April 2–3, 2022, Revised Selected Papers

   Av Kyungmin Bae

   Häftad, 2022

   1019 kr

   Lägg i varukorg