logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Shaoying Liu's Books back

language per page order
Formal Engineering for Industrial Software Development: Using the Sofl Method - Shaoying Liu
Formal Engineering for Industrial Software Development: Using the Sofl Method
by Shaoying Liu (author)
publisher: Springer publish date: December 8th 2010
format: paperback pages: 408
language: English
ISBN: 3642058272 (9783642058271)
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings - Shaoying Liu, Keijiro Araki, Thomas S.E. Maibaum
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 Proceedings
by Thomas S.E. Maibaum (author), Shaoying Liu (author), Keijiro Araki (author)
publisher: Springer publish date: October 8th 2008
format: paperback pages: 396
language: English
ISBN: 354088193X (9783540881933)
Formal Engineering for Industrial Software Development: Using the SOFL Method - Shaoying Liu
Formal Engineering for Industrial Software Development: Using the SOFL Method
by Shaoying Liu (author)
publisher: Springer publish date: April 13th 2004
format: kindle pages: 408
language: English
ASIN: B0013L49N4
Formal Engineering Methods - Shaoying Liu
Formal Engineering Methods
by Shaoying Liu (author)
publisher: IEEE Computer Society Press
format: paperback pages: 209
language: English
ISBN: 0769508227 (9780769508221)
Need help?