馆藏书目查询系统 - 上海图书馆

1

Cover is for reference only

Automated technology for verification and analysis：4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings

Corporate Authors: ATVA 2006 (2006 Beijing, China
Group Author: Graf Susanne; Zhang Wenhui 1963-
Published: Springer,
Publication Dates: c2006.
Call Number: TP301.6-532/A939/2006

Book

2

Cover is for reference only

Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, proceedings /

Corporate Authors: SETTA (Symposium) Beijing, China)
Group Author: Qin, Shengchao; Woodcock, Jim.; Zhang, Wenhui, 1963-
Published: Springer,
Publication Dates: [2021]
Call Number: TP31-532/S681/2021

Book

3

Cover is for reference only

Automated technology for verification and analysis：4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings

Corporate Authors: ATVA 2006 (2006 Beijing, China); SpringerLink (Online service)
Group Author: Graf Susanne.; Zhang Wenhui, 1963-
Published: Springer,
Publication Dates: c2006.

Book

Narrow Search