Shengchao Qin – författare
Visar alla böcker från författaren Shengchao Qin. Handla med fri frakt och snabb leverans.
8 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, 2019
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the …
Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings
Av Shengchao Qin, Yamine Ait-Ameur
E-bok, 2019
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the …
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, 2021
848 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote …
Dependable Software Engineering. Theories, Tools, and Applications
7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings
Av Wenhui Zhang, Jim Woodcock m. fl.
E-bok, 2021
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021. The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of …
Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
Häftad, 2010
568 kr
Lägg i varukorg
This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15-16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This …
Unifying Theories of Programming
Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010, Proceedings
E-bok, 2010
739 kr
Lägg i varukorg
Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers …
Formal Methods and Software Engineering
13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings
E-bok, 2011
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers …
