Shaoying Liu

9 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

by Shaoying Liu and Zhenhua Duan First published in 2013 — 12 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

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

by Kazuhiro Ogata, Mark Lawford, and Shaoying Liu First published in 2008 — 2 editions

Locate

My Reading Lists:

Create a new list
Agile-SOFL: Agile Formal Engineering Method

by Shaoying Liu First published in 2024 — 1 edition

Locate

My Reading Lists:

Create a new list
Software Fault Prevention, Verification, and Validation: First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings

by Shaoying Liu First published in 2025 — 1 edition

Locate

My Reading Lists:

Create a new list
Xizang Gongbu Ziran Baohuqu sheng wu duo yang xing: Xizang Gongbu Ziran Baohuqu shengwu duoyangxing

by Shaoying Liu First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Min zu chuan tong ti yu xue: Minzu chuantong tiyuxue

by Shaoying Liu First published in 2011 — 1 edition

Locate

My Reading Lists:

Create a new list
Jiuzhaigou zi ran bao hu qu de sheng wu duo yang xing

by Shaoying Liu, Xiaoping Zhang, and Zongyong Zeng First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list
Cao shu yi bu tong xing da zi dian

by Shaoying Liu and Peng Shen First published in 1998 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Engineering for Industrial Software Development: Using the SOFL Method

by Shaoying Liu First published in 2004 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL6986625A

Links outside Open Library

No links yet. Add one?

History

Created October 20, 2011
1 revision

Download catalog record: RDF / JSON

October 20, 2011

Created by LC Bot

import new book

Shaoying Liu

9 works Add another?

Create a new list

Subjects

Places

Lists

Add to List

ID Numbers

Links outside Open Library

History