Hoppa till sidans huvudinnehåll

Huibiao Zhu - Böcker

Visar alla böcker från författaren Huibiao Zhu.
6 produkter
Del 10134 - Lecture Notes in Computer Science

Unifying Theories of Programming

6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

AvJonathan P. Bowen,Huibiao Zhu

Häftad, Engelska, 2017

719 kr

Skickas inom 10-15 vardagar

Formal Methods and Software Engineering

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

AvJin Song Dong,Huibiao Zhu

Häftad, Engelska, 2010

1 429 kr

Skickas inom 10-15 vardagar

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

AvAditya Ghose,Huibiao Zhum. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

Theories of Programming and Formal Methods

Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

AvZhiming Liu,Jim Woodcockm. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing -- ICTAC 2013

10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

AvZhiming Liu,Jim Woodcockm. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar

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

AvZhiming Liu,Jim Woodcockm. fl.

Häftad, Engelska, 2013

719 kr

Skickas inom 10-15 vardagar