Releases by Shaoying Liu

All7
Hardcover Book2
Paperback Book5

In stock at iMusic Show unavailable items

Cover for Shaoying Liu · Agile-SOFL: Agile Formal Engineering Method (Hardcover Book) [2024 edition] (2024)

Agile-SOFL: Agile Formal Enginee... (2024)

Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

Structured Object-Oriented Forma... (2015)

Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2014 edition] (2014)

Structured Object-Oriented Forma... (2014)

Cover for Shaoying Liu · Structured Object-Oriented Formal Language and Method: Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers - Lecture Notes in Computer Science (Paperback Book) [2013 edition] (2013)

Structured Object-Oriented Forma... (2013)

Cover for Shaoying Liu · Formal Engineering for Industrial Software Development: Using the Sofl Method (Paperback Book) [Softcover Reprint of Hardcover 1st Ed. 2004 edition] (2010)

Softcover Reprint of Hardcover 1st Ed. 2004 edition

Formal Engineering for Industria... (2010)

Cover for Shaoying Liu · Formal Methods and Software Engineering - Lecture Notes in Computer Science / Programming and Software Engineering (Paperback Book) (2008)

Formal Methods and Software Engi... (2008)

Cover for Shaoying Liu · Formal Engineering for Industrial Software Development: Using the Sofl Method (Hardcover Book) (2004)

Formal Engineering for Industria... (2004)