Shengchao Qin - Böcker
Visar alla böcker från författaren Shengchao Qin.
4 produkter
4 produkter
Del 11852 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Häftad, Engelska, 2019
719 kr
Skickas inom 10-15 vardagar
Del 13071 - Lecture Notes in Computer Science
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
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
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
Häftad, Engelska, 2011
719 kr
Skickas inom 10-15 vardagar