| |

avaa valikko

Shengchao Qin | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?

Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

Qin, Shengchao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja

Unifying Theories of Programming - Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings

51,10 €

Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham,

Qin, Shengchao; Qiu, Zongyan
Springer
2011
Pehmeäkantinen kirja

Formal Methods and Software Engineering : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham,

51,10 €

Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, No

Qin, Shengchao; Woodcock, Jim; Zhang, Wenhui
Springer Nature Switzerland AG
2021
Pehmeäkantinen kirja

Dependable Software Engineering. Theories, Tools, and Applications - 7th International Symposium, SETTA 2021, Beijing, China, No

76,00 €

Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, Chi

Ait-Ameur, Yamine; Qin, Shengchao
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, Chi

51,10 €