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

1

Cover is for reference only

Formal aspects of security：first international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

Corporate Authors: FASec 2002 (1st 2002 London, England)
Group Author: Abdallah Ali E., 1957-; Ryan Peter, 1957-; Schneider S. A.; (Steve A.)
Published: Springer,
Publication Dates: c2003.
Call Number: TP309-532/F723/2002

Book

2

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: LINK (Online service)
Group Author: Abdallah Ali E., 1957-; Jones C. B.; (Cliff B.), 1944-; Sanders Jeff W.
Published: Springer,
Publication Dates: c2005.
Call Number: TP311.1-532/C734/2004

Book

3

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