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

1

Cover is for reference only

Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop /

Corporate Authors: Imperial College of Science, Technology and Medicine. Department of Computing; Imperial College Department of Computing Workshop on Theory and Formal Methods Cambridge, England
Group Author: Hankin, Chris; Mackie, I. Ian; Nagarajan, R. Rajagopal
Published: Imperial College Press ; Distributed by World Scientific,
Publication Dates: 1995.

eBook

2

Cover is for reference only

Principles of program analysis

Main Authors: Nielson Flemming 1955-
Group Author: Nielson Hanne Riis 1954-; Hankin Chris
Published: Springer,
Publication Dates: c1999.
Call Number: TP311.1/N669

Book

3

Cover is for reference only

Coordination programming : mechanisms, models and semantics /

Corporate Authors: World Scientific Firm
Group Author: Andreoli, J.-M. Jean-Marc; Hankin, Chris; Le Metayer, D. Daniel
Published: Imperial College Press ; Distributed by World Scientific Pub. Co.,
Publication Dates: 1996.

eBook

4

Cover is for reference only

程序分析原理 = Principles of program analysis

Main Authors: (丹) 尼尔森 Nielson, Flemming (著); (丹) 尼尔森 Nielson, Hanne Riis (著); (英) 汉金 Hankin, Chris (著)
Group Author: 詹博华 (译); 冀振燕 (译); 孙文辉 (译)
Published: 机械工业出版社
Publication Dates: 2022
Call Number: TP311.11/7224

Book

5

Cover is for reference only

Static analysis：12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

Corporate Authors: International Static Analysis Symposium (12th 2005 London, England)
Group Author: Hankin Chris.; Siveroni Igor.
Published: Springer,
Publication Dates: c2005.
Call Number: TP301-532/S797/2005

Book

6

Cover is for reference only

Static analysis：12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings

Corporate Authors: International Static Analysis Symposium (12th 2005 London, England); LINK (Online service)
Group Author: Hankin Chris.; Siveroni Igor.
Published: Springer,
Publication Dates: 2005.

Book

7

Cover is for reference only

Programming languages and systems：7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1998 : proceedings

Corporate Authors: (7th 1998; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)
Group Author: Hankin Chris.
Published: Springer,
Publication Dates: c1998.
Call Number: TP31-532/E89.1/1998/

Book

8

Cover is for reference only

Coordination languages and models : First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996 : proceedings

Corporate Authors: (1996 Cesena)
Group Author: Ciancarini Paolo, 1959-; Hankin Chris.
Published: Springer,
Publication Dates: c1996.
Call Number: TP301.6-532/C778/1996/

Book

9

Cover is for reference only

Abstract interpretation of declarative languages

Group Author: Hankin Chris.; Abramsky Samson, 1953-
Published: E. Horwood Halsted Press,
Publication Dates: 1987.
Call Number: TP312/A164/

Book

10

Cover is for reference only

Theory and formal methods of computing 94：proceedings of the Second Imperial College Workshop

Corporate Authors: Imperial College Department of Computing Workshop on Theory and Formal Methods 1994 Cambridge, England) (Cambridge, England)); Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing.
Group Author: Mackie I.; (Ian); Nagarajan R.; (Rajagopal); Hankin Chris.
Published: Imperial College Press,
Publication Dates: c1995.
Call Number: TP301-532/T396.1/1994/

Book

11

Cover is for reference only

Coordination programming：mechanisms, models and semantics

Group Author: Andreoli J. -M.; (Jean-Marc); Hankin Chris.; Le Metayer D.; (Daniel)
Published: Imperial College Press,
Publication Dates: c1996.
Call Number: TP311.11/C778/

Book

Related Subjects