Hoppa till sidans huvudinnehåll

Huibiao Zhu – författare

Visar alla böcker från författaren .
6 produkter
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Jin Song Dong, Huibiao Zhu - Formal Methods and Software Engineering, Häftad

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 449 kr

Skickas inom 10-15 vardagar

Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang - Service-Oriented Computing - ICSOC Workshops 2012, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theories of Programming and Formal Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jim Woodcock, Huibiao Zhu - Theoretical Aspects of Computing -- ICTAC 2013, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Zhiming Liu, Jim Woodcock, Huibiao Zhu - Unifying Theories of Programming and Formal Engineering Methods, Häftad

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

729 kr

Skickas inom 10-15 vardagar