Shaoying Liu – författare
Structured Object-Oriented Formal Language and Method
8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers
789 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
579 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
Structured Object-Oriented Formal Language and Method
Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers
669 kr
Skickas inom 10-15 vardagar
Software Fault Prevention, Verification, and Validation
Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings
949 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings
1 079 kr
Skickas inom 10-15 vardagar
Software Fault Prevention, Verification, and Validation
First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings
929 kr
Skickas inom 10-15 vardagar
2 429 kr
Skickas inom 10-15 vardagar
1 719 kr
Skickas inom 10-15 vardagar