Yazar
Huibiao Zhu
8 cilt bulundu.
Cilt sonuçları
Formal Methods And Software Engineering 12th International Conference On Formal Engineering Methods Icfem 2010 Shanghai China November 1719 2010 Proceedings
Huibiao Zhu · Springer
Sayfa sayısı yok · 2010
Computer networks / Computer science / Software engineering / Computer software / Entscheidungsverfahren
Theoretical Aspects of Computing -- ICTAC 2013
Zhiming Liu, Jim Woodcock, Huibiao Zhu · Springer
459 sayfa · 2013
Electronic data processing / Congresses / Information theory / Computer science, mathematics / Computer programming
Service-Oriented Computing - ICSOC Workshops 2012
Aditya Ghose, Huibiao Zhu, Qi Yu, Alex Delis, Quan Z. Sheng, Olivier Perrin, Jianmin Wang, Yan Wang · Springer
482 sayfa · 2013
Electronic data processing, distributed processing / Computer network architectures / Web services / Computer science / Software engineering
Unifying Theories of Programming and Formal Engineering Methods
Zhiming Liu, Jim Woodcock, Huibiao Zhu · Springer London, Limited
Sayfa sayısı yok · 2013
Kategori yok