Shaoying Liuのリリース

すべて8
Hardcover Book2
Paperback Book6

iMusicに在庫あり在庫なし商品を表示

Cover for Shaoying Liu · Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings - Lecture Notes in Computer Science (Paperback Book) (2025)

Software Fault Prevention, Verif... (2025)

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)