Shaoying Liu – författare
Visar alla böcker från författaren Shaoying Liu.
19 produkter
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
Av Zhenhua Duan, Shaoying Liu m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
Av Huaikou Miao, Cong Tian m. fl.
Häftad, 2020
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
Av Jinyun Xue, Fumiko Nagoya m. fl.
Häftad, 2021
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
Av Shaoying Liu, Zhenhua Duan m. fl.
Häftad, 2023
799 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Häftad, 2014
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
Häftad, 2015
589 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
Häftad, 2016
729 kr
Lägg i varukorg
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Av Kazuhiro Ogata, Mark Lawford m. fl.
Häftad, 2016
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
Av Shaoying Liu, Zhenhua Duan m. fl.
Häftad, 2017
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
Av Cong Tian, Fumiko Nagoya m. fl.
Häftad, 2018
729 kr
Lägg i varukorg
Formal Engineering for Industrial Software Development
Using the SOFL Method
Av Shaoying Liu
Inbunden, 2004
729 kr
Lägg i varukorg
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
Av Shaoying Liu, Tom Maibaum m. fl.
Häftad, 2008
729 kr
Lägg i varukorg
Formal Engineering for Industrial Software Development
Using the SOFL Method
Av Shaoying Liu
Häftad, 2010
729 kr
Lägg i varukorg
Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
Av Shaoying Liu
Häftad, 2013
669 kr
Lägg i varukorg
Software Fault Prevention, Verification, and Validation
Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings
Av Yuting Chen, Hiroyuki Okamura m. fl.
Häftad, 2026
959 kr
Lägg i varukorg
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
Av Kazuhiro Ogata, Dominique Mery m. fl.
Häftad, 2024
1089 kr
Lägg i varukorg
Software Fault Prevention, Verification, and Validation
First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
Av Shaoying Liu
Häftad, 2025
949 kr
Lägg i varukorg