Shaoying Liu - Böcker

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 Liu m. fl.

Häftad, Engelska, 2019

709 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

AvHuaikou Miao,Cong Tian m. fl.

Häftad, Engelska, 2020

709 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 Nagoya m. fl.

Häftad, Engelska, 2021

709 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

AvShaoying Liu,Zhenhua Duan m. fl.

Häftad, Engelska, 2023

769 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

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2014

709 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

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2015

569 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

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2016

709 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

AvKazuhiro Ogata,Mark Lawford m. fl.

Häftad, Engelska, 2016

709 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

AvShaoying Liu,Zhenhua Duan m. fl.

Häftad, Engelska, 2017

709 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

AvCong Tian,Fumiko Nagoya m. fl.

Häftad, Engelska, 2018

709 kr

Skickas inom 10-15 vardagar

Formal Engineering for Industrial Software Development

Using the SOFL Method

AvShaoying Liu

Inbunden, Engelska, 2004

709 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 Maibaum m. fl.

Häftad, Engelska, 2008

709 kr

Skickas inom 10-15 vardagar

Formal Engineering for Industrial Software Development

Using the SOFL Method

AvShaoying Liu

Häftad, Engelska, 2010

709 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

649 kr

Skickas inom 10-15 vardagar

Nyhet

Software Fault Prevention, Verification, and Validation

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

AvYuting Chen,Hiroyuki Okamura m. fl.

Häftad, Engelska, 2026

1 389 kr

Kommande

Formal Methods and Software Engineering

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

AvKazuhiro Ogata,Dominique Mery m. fl.

Häftad, Engelska, 2024

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

AvShaoying Liu

Häftad, Engelska, 2025

829 kr

Skickas måndag 9/2

Agile-SOFL

Agile Formal Engineering Method

AvShaoying Liu

Inbunden, Engelska, 2024

2 809 kr

Skickas inom 10-15 vardagar

Agile-SOFL

Agile Formal Engineering Method

AvShaoying Liu

Häftad, Engelska, 2025

1 689 kr

Skickas inom 10-15 vardagar

Shaoying Liu - Böcker

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

Tjänster

Tjänster

Erbjudanden

Erbjudanden

Inspiration

Inspiration