Книги автора «Shaoying Liu»

На данной странице предаставлены все книги автора «Shaoying Liu»

Зарегистрироваться на сайте Подробнее
Какие книги написал «Shaoying Liu»

Книги

Formal Engineering for Industrial Software Development

Formal Engineering for Industrial Software Development (Shaoying Liu)

Structured Object-Oriented Formal Language and Method. 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

Structured Object-Oriented Formal Language and Method. 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers (Shaoying Liu,Zhenhua Duan)

Structured Object-Oriented Formal Language and Method. 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

Structured Object-Oriented Formal Language and Method. 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers (Shaoying Liu,Zhenhua Duan,Cong Tian)