Hoppa till sidans huvudinnehåll

Shaoying Liu – författare

Visar alla böcker från författaren .
19 produkter
Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya - Structured Object-Oriented Formal Language and Method, Häftad
Del 11392 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers

AvZhenhua Duan,Shaoying Lium. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Huaikou Miao, Cong Tian, Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad
Del 12028 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

AvHuaikou Miao,Cong Tianm. fl.

Häftad, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar

Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad

Structured Object-Oriented Formal Language and Method

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

AvJinyun Xue,Fumiko Nagoyam. fl.

Häftad, Engelska, 2021

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Zhenhua Duan, Ai Liu - Structured Object-Oriented Formal Language and Method, Häftad
Del 13854 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

AvShaoying Liu,Zhenhua Duanm. fl.

Häftad, Engelska, 2023

799 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad
Del 8332 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad
Del 8979 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2015

579 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad
Del 9559 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Kazuhiro Ogata, Mark Lawford, Shaoying Liu - Formal Methods and Software Engineering, Häftad
Del 10009 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

AvKazuhiro Ogata,Mark Lawfordm. fl.

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya - Structured Object-Oriented Formal Language and Method, Häftad
Del 10189 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers

AvShaoying Liu,Zhenhua Duanm. fl.

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Cong Tian, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan - Structured Object-Oriented Formal Language and Method, Häftad
Del 10795 - Lecture Notes in Computer Science

Structured Object-Oriented Formal Language and Method

7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers

AvCong Tian,Fumiko Nagoyam. fl.

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Formal Engineering for Industrial Software Development, Inbunden

Formal Engineering for Industrial Software Development

Using the SOFL Method

AvShaoying Liu

Inbunden, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu, Tom Maibaum, Keijiro Araki - Formal Methods and Software Engineering, Häftad

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

AvShaoying Liu,Tom Maibaumm. fl.

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Formal Engineering for Industrial Software Development, Häftad

Formal Engineering for Industrial Software Development

Using the SOFL Method

AvShaoying Liu

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Structured Object-Oriented Formal Language and Method, Häftad

Structured Object-Oriented Formal Language and Method

Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers

AvShaoying Liu

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar

Yuting Chen, Hiroyuki Okamura, Shaoying Liu - Software Fault Prevention, Verification, and Validation, Häftad
Del 16356 - Lecture Notes in Computer Science

Software Fault Prevention, Verification, and Validation

Second International Symposium, SFPVV 2025, Shanghai, China, November 8–9, 2025, Proceedings

AvYuting Chen,Hiroyuki Okamuram. fl.

Häftad, Engelska, 2026

959 kr

Skickas inom 10-15 vardagar

Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu - Formal Methods and Software Engineering, Häftad
Del 15394 - Lecture Notes in Computer Science

Formal Methods and Software Engineering

25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings

AvKazuhiro Ogata,Dominique Merym. fl.

Häftad, Engelska, 2024

1 079 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Software Fault Prevention, Verification, and Validation, Häftad
Del 15393 - Lecture Notes in Computer Science

Software Fault Prevention, Verification, and Validation

First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2–3, 2024, Proceedings

AvShaoying Liu

Häftad, Engelska, 2025

939 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Agile-SOFL, Inbunden

Agile-SOFL

Agile Formal Engineering Method

AvShaoying Liu

Inbunden, Engelska, 2024

2 449 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Agile-SOFL, Häftad

Agile-SOFL

Agile Formal Engineering Method

AvShaoying Liu

Häftad, Engelska, 2025

1 729 kr

Skickas inom 10-15 vardagar