1.
Formal Methods and Software Engineering 4th International Conference on Formal Engineering M...
by George, Chris, Miao, Huaikou
ISBN: 9783540000297
List Price: $110.00
2.
Computer and Information Science 2009
by Lee, Roger, Hu, Gongzu, Mia...
ISBN: 9783642101748
List Price: $129.00
3.
Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Scienc...
by Miao, Huaikou, Hu, G., IEEE...
ISBN: 9780769536415
OUT OF STOCK
See Availability on Amazon4.
Computer And Information Science 2009
by Lee, Roger, Hu, Gongzu, Mia...
ISBN: 9783642012082
List Price: $129.00
5.
Formal Methods and Software Engineering
by George, Chris, Miao, Huaikou
ISBN: 9783662188255
List Price: $24.99
OUT OF STOCK
See Availability on Amazon6.
Structured Object-Oriented Formal Language and Method : 9th International Workshop, SOFL+MSV...
by Miao, Huaikou, Tian, Cong, ...
ISBN: 9783030414177
List Price: $79.99