Shengchao Qin - Böcker

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

4 produkter

Kategorier

4 produkter

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, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2021

1 079 kr

Skickas inom 10-15 vardagar

Unifying Theories of Programming

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

Av Shengchao Qin

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar