Buy Used and New Huaikou Miao Books

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, ... 2495 (Lecture Notes in Computer Science)

by Chris George,Huaikou Miao

ISBN 13: 9783540000297

Format: Paperback (644 pages)
Publisher: Springer
Published: 09 Oct 2002

Save for later

Computer and Information Science 2009: 208 (Studies in Computational Intelligence)

by Roger Lee,Gongzu Hu,Huaikou Miao

ISBN 13: 9783642101748

Format: Paperback (320 pages)
Publisher: Springer
Published: 28 Oct 2010

Save for later

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected ... (Lecture Notes in Computer Science, 12028)

by Huaikou Miao,Cong Tian,Shaoying Liu,Zhenhua Duan

ISBN 13: 9783030414177

Format: Paperback (373 pages)
Publisher: Springer
Published: 20 Feb 2020

Save for later