Search

You searched for: Auteur Qin, Shengchao. Remove constraint Auteur: Qin, Shengchao.
1 - 4 of 4
Number of results to display per page

Search Results

1. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Ait-Ameur; Qin, Shengchao
Publisher:
Springer International Publishing 2019
Format:
e-book
2. Dependable Software Engineering. Theories, Tools, and Applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings
thumbnail
Full text!
Author:
Qin, Shengchao.; Woodcock, Jim; Zhang, Wenhui
Publisher:
Cham Springer International Publishing AG 2021
Format:
e-book
3. Unifying Theories of Programming
thumbnail
Full text!
Author:
Qin, Shengchao; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book
4. Formal Methods and Software Engineering
thumbnail
Full text!
Author:
Qin, Shengchao; Kanade, Takeo; Qiu, Zongyan; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book