Principles of Program Analysis
by Flemming Nielson,Hanne R. Nielson,Chris Hankin
ISBN 13: 9783540654100
Format: Hardcover (452 pages) Publisher: Springer Published: 22 Oct 1999
Save for later
An Introduction to Lambda Calculi for Computer Scientists
by Chris Hankin
ISBN 13: 9780954300654
Format: Paperback (180 pages) Publisher: King's College Publications Published: 05 Feb 2004
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings: 3672 (Lecture Notes in Computer Science)
by Chris Hankin,Igor Siveroni
ISBN 13: 9783540285847
Format: Illustrated (380 pages) Publisher: Springer Published: 13 Jun 2008
by Flemming Nielson,Hanne Riis Nielson,Chris Hankin
ISBN 13: 9783642084744
Format: Paperback (476 pages) Publisher: Springer Berlin Heidelberg Published: 19 Feb 2010
Coordination Languages and Models: First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996. Proceedings.: 1061 (Lecture Notes in Computer Science)
by Paolo Ciancarini,Chris Hankin
ISBN 13: 9783540610526
Format: Paperback (468 pages) Publisher: Springer Published: 13 Jun 2008
Introducao ao calculo lambda (Cadernos de Logica E Computacao)
by Chris Hankin,Jo O. Rasga
ISBN 13: 9781848900844
Format: Paperback (186 pages) Publisher: College Publications Published: 16 Aug 2012