Cărți de Shengchao Qin

Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6991

Editat de Shengchao Qin et al.

12 oct 2011

Preț: 354^.35 lei 442^.94 lei

3-5 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 6445

Editat de Shengchao Qin

21 oct 2010

Preț: 332^.89 lei 416^.12 lei

3-5 săpt.

-20%

Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25–27, 2021, Proceedings

Lecture Notes in Computer Science, nr. 13071

Editat de Shengchao Qin et al.

14 noi 2021

Preț: 505^.30 lei 631^.63 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 11852

Editat de Yamine Ait-Ameur et al.

6 oct 2019

Preț: 344^.93 lei 431^.16 lei

6-8 săpt.

-20%