Hoppa till sidans huvudinnehåll

Shengchao Qin - Böcker

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

Formal Methods and Software Engineering

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

AvYamine 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

AvShengchao Qin,Jim Woodcock m. fl.

Häftad, Engelska, 2021

1 069 kr

Skickas onsdag 4/3

Unifying Theories of Programming

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

AvShengchao Qin

Häftad, Engelska, 2010

719 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

AvShengchao Qin,Zongyan Qiu

Häftad, Engelska, 2011

719 kr

Skickas inom 10-15 vardagar