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

1

Cover is for reference only

Main Authors: Hoare C. A. R. (Charles Antony Richard), 1934-
Published: Prentice/Hall International,
Publication Dates: c1985.
Call Number: TP33/H679/

Book

2

Cover is for reference only

Developments in concurrency and communication

Group Author: Hoare C. A. R.; (Charles Antony Richard), 1934-
Published: Addison-Wesley Pub. Co.,
Publication Dates: c1990.
Call Number: TP338.6/D489/

Book

3

Cover is for reference only

Operating systems techniques：proceedings of a seminar held at Belfast, 1971

Corporate Authors: International Seminar on Operating Systems Techniques (1971 Belfast); International Computers, ltd.
Group Author: Hoare C. A. R.; (Charles Antony Richard), 1934-; Perrott Ronald H., 1942-
Published: Academic Press,
Publication Dates: 1972.
Call Number: T845.041/CI61/1971

Book

4

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

5

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

6

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

7

Cover is for reference only

Communicating sequential processes：the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers

Corporate Authors: Symposium on the Occasion of 25 years of CSP (2004 London, England)
Group Author: Hoare C. A. R.; (Charles Antony Richard), 1934-; Abdallah Ali E., 1957-; Jones C. B.; (Cliff B.), 1944-; Sanders Jeff W.
Published: Springer,
Publication Dates: c2005.

Book

Narrow Search