- ECU Libraries Catalog

Start Over

You searched for: author_facet Hankin, Chris

Showing 1 - 9 of 9 results

Search Results

Cover image for Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays

by Probst, Christian W.
2016
1st ed. 2016
Format: Electronic

Location
Access Content Online

Cover image for Static analysis

Static analysis

by International Static Analysis Symposium
2005
Format: Electronic

Location
Access Content Online

Cover image for Static analysis

Static analysis

by International Static Analysis Symposium
2005
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

Proceedings of the 28th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

by Hankin, Chris
2001
Format: Electronic

Location
Access Content Online

Cover image for Programming languages and systems

Programming languages and systems

by European Symposium on Programming
1998
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.6 .E976 1998	✔ Available

Cover image for Programming languages and systems

Programming languages and systems

by European Symposium on Programming
1998
Format: Electronic

Location
Access Content Online

Cover image for Coordination

Coordination

by International Conference COORDINATION '96
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.58 .I52 1996	✔ Available

Cover image for Coordination languages and models : first international conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996 : proceedings

Coordination languages and models : first international conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996 : proceedings

by COORDINATION '96
1996
Format: Electronic

Location
Access Content Online

Cover image for Lambda calculi

Lambda calculi

by Hankin, Chris
1994
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.5 .H36 1994	✔ Available