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

Av Zhenhua Duan, Shaoying Liu m. fl

Häftad, Engelska, 2019

729 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

Av Huaikou Miao, Cong Tian m. fl

Häftad, Engelska, 2020

729 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

Av Jinyun Xue, Fumiko Nagoya m. fl

Häftad, Engelska, 2021

729 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

Av Shaoying Liu, Zhenhua Duan m. fl

Häftad, Engelska, 2023

799 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

Av Shaoying Liu, Zhenhua Duan

Häftad, Engelska, 2014

729 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

Av Shaoying Liu, Zhenhua Duan

Häftad, Engelska, 2015

589 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

Av Shaoying Liu, Zhenhua Duan

Häftad, Engelska, 2016

729 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

Av Kazuhiro Ogata, Mark Lawford m. fl

Häftad, Engelska, 2016

729 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

Av Shaoying Liu, Zhenhua Duan m. fl

Häftad, Engelska, 2017

729 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

Av Cong Tian, Fumiko Nagoya m. fl

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar

Formal Engineering for Industrial Software Development

Using the SOFL Method

Av Shaoying Liu

Inbunden, Engelska, 2004

729 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

Av Shaoying Liu, Tom Maibaum m. fl

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar

Formal Engineering for Industrial Software Development

Using the SOFL Method

Av Shaoying Liu

Häftad, Engelska, 2010

729 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

Av Shaoying Liu

Häftad, Engelska, 2013

679 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

Av Yuting Chen, Hiroyuki Okamura m. fl

Häftad, Engelska, 2026

1 429 kr

Kommande

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, Engelska, 2024

1 129 kr

Skickas inom 10-15 vardagar

Software Fault Prevention, Verification, and Validation

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

Av Shaoying Liu

Häftad, Engelska, 2025

829 kr

Skickas inom 7-10 vardagar

Agile-SOFL

Agile Formal Engineering Method

Av Shaoying Liu

Inbunden, Engelska, 2024

2 919 kr

Skickas inom 10-15 vardagar

Agile-Sofl: Agile Formal Engineering Method

Av Shaoying Liu

Häftad, Engelska, 2025

1 749 kr

Skickas inom 10-15 vardagar