Shengchao Qin – författare

Visar alla böcker från författaren Shengchao Qin.

4 produkter

1. 

   Formal Methods and Software Engineering

   21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings

   Av Yamine Ait-Ameur, Shengchao Qin

   Häftad, 2019

   739 kr

   Lägg i varukorg

2. 

   Dependable Software Engineering. Theories, Tools, and Applications

   7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

   Av Shengchao Qin, Jim Woodcock m. fl.

   Häftad, 2021

   1099 kr

   Lägg i varukorg

3. 

   Unifying Theories of Programming

   Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

   Av Shengchao Qin

   Häftad, 2010

   739 kr

   Lägg i varukorg

4. 

   Formal Methods and Software Engineering

   13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

   Av Shengchao Qin, Zongyan Qiu

   Häftad, 2011

   739 kr

   Lägg i varukorg