Buy Used and New ShaoyingLiu Books

Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October ... / Programming and Software Engineering)

by

ISBN 13: 9783540881933

Format: Paperback (397 pages)
Publisher: Springer
Published: 08 Oct 2008

Save for later

Formal Engineering for Industrial Software Development: Using the SOFL Method

by Shaoying Liu

ISBN 13: 9783540206026

Format: Hardcover (400 pages)
Publisher: Springer
Published: 13 Apr 2004

Save for later