Buy Used and New Chris Hankin Books

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

Save for later

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

Save for later

Principles of Program Analysis

by Flemming Nielson,Hanne Riis Nielson,Chris Hankin

ISBN 13: 9783642084744

Format: Paperback (476 pages)
Publisher: Springer Berlin Heidelberg
Published: 19 Feb 2010

Save for later

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

Save for later

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

Save for later

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