BooksDirect

Books by Huaikou Miao

Structured Object-Oriented Formal Language and Method: 9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers by Huaikou Miao Structured Object-Oriented...
Huaikou Miao
Paperback , Feb '20
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002 Proceedings by Chris George Formal Methods and Software...
Chris George
Digital (delivered electronically) , Dec '02
Formal Methods and Software Engineering by Chris George Formal Methods and Software Engineering
Chris George
Paperback , Oct '02
Computer and Information Science 2009 by Roger Lee Computer and Information Science 2009
Roger Lee
Paperback , Oct '10
Computer and Information Science 2009 by Roger Lee Computer and Information Science 2009
Roger Lee
Hardback , Apr '09
Results 1 - 5 of 5