Yazar
Huaikou Miao
4 cilt bulundu.
Cilt sonuçları
Formal methods and software engineering
Chris George, Huaikou Miao · Springer London, Limited
626 sayfa · 2002
Formal methods (Computer science) / Congresses / Software engineering / Computer science / Logic design
Computer and Information Science 2009
Roger Lee, Gongzu Hu, Huaikou Miao · Springer Berlin / Heidelberg
Sayfa sayısı yok · 2009
Kategori yok