Hoppa till sidans huvudinnehåll

Huibiao Zhu - Böcker

Visar alla böcker från författaren Huibiao Zhu.
6 produkter

Unifying Theories of Programming

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

Av Jonathan P. Bowen, Huibiao Zhu

Häftad, Engelska, 2017

729 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

Av Jin Song Dong, Huibiao Zhu

Häftad, Engelska, 2010

1 439 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

Av Aditya Ghose, Huibiao Zhu m. fl

Häftad, Engelska, 2013

709 kr

Skickas inom 10-15 vardagar

Theories of Programming and Formal Methods

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

Av Zhiming Liu, Jim Woodcock m. fl

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Theoretical Aspects of Computing -- ICTAC 2013

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

Av Zhiming Liu, Jim Woodcock m. fl

Häftad, Engelska, 2013

729 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

Av Zhiming Liu, Jim Woodcock m. fl

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar