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

1

Cover is for reference only

Software and systems safety：specification and verification

Corporate Authors: NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010: Marktoberndorf, Germany) (Marktoberndorf, Germany))
Group Author: Leuxner Christian.; Hoare C. A. R.; (Charles Antony Richard), 1934-; Broy M., 1949-
Published: IOS Press,
Publication Dates: c2011.
Call Number: TP311.5-532/S681/2010

Book

2

Cover is for reference only

Engineering theories of software construction

Corporate Authors: NATO Advanced Study Institute on Engineering Theories of Software Construction (2000 Marktoberdorft, Germany) (Marktoberdorft, Germany))
Group Author: (Charles Antony Richard), 1934-; Broy M., 1949-; Steinbruggen Ralf.; Hoare C. A. R.
Published: IOS Press,
Publication Dates: 2001.
Call Number: TP31-532/E579/2000

Book

3

Cover is for reference only

Software system reliability and security

Group Author: Broy M., 1949-; Grünbauer Johannes.; Hoare C. A. R.; (Charles Antony Richard), 1934-
Published: IOS Press,
Publication Dates: c2007.
Call Number: TP309-532/S681/2006

Book

Narrow Search