Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Shaoying Liu'

Refine Your Results

subjects

Business & Management

1

Computing & I.T.

7

Mathematics

2

Science

2

lists

All Books

7

availability

All Books

7

price

$50 - $100

6

Over $100

1

formats

Paperbacks

6

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

Structured Object-Oriented Formal Language and Method : Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers - Shaoying Liu

Structured Object-Oriented Formal Language and Method

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

Shaoying Liu and Zhenhua Duan

Paperback

$84.99

Formal Engineering for Industrial Software Development : Using the SOFL Method - Shaoying Liu

Formal Engineering for Industrial Software Development

Using the SOFL Method

Hardcover

$84.99

Structured Object-Oriented Formal Language and Method : 7th International Workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017, Revised Selected Papers - Cong Tian

Structured Object-Oriented Formal Language and Method

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

Cong Tian, Zhenhua Duan, Shaoying Liu and Fumiko Nagoya

Paperback

$84.99

Structured Object-Oriented Formal Language and Method : 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers - Shaoying Liu

Structured Object-Oriented Formal Language and Method

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

Shaoying Liu and Zhenhua Duan

Paperback

$84.99

Software Fault Prevention, Verification, and Validation : First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings - Shaoying Liu

Software Fault Prevention, Verification, and Validation

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

Paperback

$99.00

Formal Methods and Software Engineering : 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings - Dominique Mery

Formal Methods and Software Engineering

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

Dominique Mery, Shaoying Liu, Meng Sun and Kazuhiro Ogata

Paperback

$109.00

Structured Object-Oriented Formal Language and Method : 8th International Workshop, SOFL+MSVL 2018, Gold Coast, QLD, Australia, November 16, 2018, Revised Selected Papers - Cong Tian

Structured Object-Oriented Formal Language and Method

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

Cong Tian, Zhenhua Duan, Shaoying Liu and Fumiko Nagoya

Paperback

$84.99

7 Results