Cărți de Huibiao Zhu

Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010, Proceedings

Lecture Notes in Computer Science, nr. 6447

Editat de Jin Song Dong et al.

29 oct 2010

Preț: 667^.23 lei 834^.05 lei

3-5 săpt.

-20%

Unifying Theories of Programming: 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

Lecture Notes in Computer Science, nr. 10134

Editat de Jonathan P. Bowen et al.

11 ian 2017

Preț: 329^.11 lei 411^.39 lei

6-8 săpt.

-20%

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Lecture Notes in Computer Science, nr. 8051

Editat de Zhiming Liu et al.

31 iul 2013

Preț: 338^.81 lei 423^.52 lei

6-8 săpt.

-20%

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

Lecture Notes in Computer Science, nr. 8049

Editat de Zhiming Liu et al.

15 iul 2013

Preț: 340^.98 lei 426^.22 lei

6-8 săpt.

-20%

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Lecture Notes in Computer Science, nr. 8050

Editat de Zhiming Liu et al.

19 iul 2013

Preț: 332^.39 lei 415^.49 lei

6-8 săpt.

-20%

Service-Oriented Computing - ICSOC Workshops 2012: ICSOC 2012, International Workshops ASC, DISA, PAASC, SCEB, SeMaPS, and WESOA, and Satellite Events, Shanghai, China, November 12-15, 2012, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7759

Editat de Aditya Ghose et al.

9 apr 2013

Preț: 341^.63 lei 427^.04 lei

6-8 săpt.

-20%