Shaoying Liu – författare

Visar alla böcker från författaren Shaoying Liu.

19 produkter

Kategorier

19 produkter

Del 11392
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
739 kr
Skickas inom 10-15 vardagar
Del 12028
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
739 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
AvJinyun Xue,Fumiko Nagoyam. fl.
Häftad, Engelska, 2021
749 kr
Skickas inom 10-15 vardagar
Del 13854
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
819 kr
Skickas inom 10-15 vardagar
Del 8332
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
749 kr
Skickas inom 10-15 vardagar
Del 8979
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
599 kr
Skickas inom 10-15 vardagar
Del 9559
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
739 kr
Skickas inom 10-15 vardagar
Del 10009
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
749 kr
Skickas inom 10-15 vardagar
Del 10189
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
739 kr
Skickas inom 10-15 vardagar
Del 10795
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
739 kr
Skickas inom 10-15 vardagar
Formal Engineering for Industrial Software Development
Using the SOFL Method
AvShaoying Liu
Inbunden, Engelska, 2004
749 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
AvShaoying Liu,Tom Maibaumm. fl.
Häftad, Engelska, 2008
749 kr
Skickas inom 10-15 vardagar
Formal Engineering for Industrial Software Development
Using the SOFL Method
AvShaoying Liu
Häftad, Engelska, 2010
749 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
AvShaoying Liu
Häftad, Engelska, 2013
689 kr
Skickas inom 10-15 vardagar
Del 16356
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
979 kr
Skickas inom 10-15 vardagar
Del 15394
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 109 kr
Skickas inom 10-15 vardagar
Del 15393
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
969 kr
Skickas inom 10-15 vardagar
Agile-SOFL
Agile Formal Engineering Method
AvShaoying Liu
Inbunden, Engelska, 2024
2 509 kr
Skickas inom 10-15 vardagar
Agile-SOFL
Agile Formal Engineering Method
AvShaoying Liu
Häftad, Engelska, 2025
1 779 kr
Skickas inom 10-15 vardagar

Shaoying Liu – författare

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Formal Methods and Software Engineering

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Formal Engineering for Industrial Software Development

Formal Methods and Software Engineering

Formal Engineering for Industrial Software Development

Structured Object-Oriented Formal Language and Method

Software Fault Prevention, Verification, and Validation

Formal Methods and Software Engineering

Software Fault Prevention, Verification, and Validation

Agile-SOFL

Agile-SOFL

Akademibokhandeln

Akademibokhandeln

Hjälp

Hjälp

Utvalt sortiment

Utvalt sortiment

Erbjudanden

Erbjudanden

Inspiration & Tips

Inspiration & Tips