Bookshelf - Books, E-Books, Music, DVD's

Introducao Ao Calculo Lambda

Chris Hankin
Paperback / softback, 186 pages
ISBN-13: 9781848900844
16 Aug 2012
Readership Age:
mathematics / logic Price: R 689.95
| on special |
normal price: R 766.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Chris Hankin
Paperback / softback, 374 pages
ISBN-13: 9783540285847
25 Aug 2005
Readership Age:
computers / programming / general Price: R 1 938.95
| on special |
normal price: R 2 154.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

An Introduction to Lambada Calculi for Computer Scientists

Chris Hankin
Paperback / softback, 180 pages
ISBN-13: 9780954300654
2 Feb 2004
Readership Age:
mathematics / logic Price: R 720.95
| on special |
normal price: R 800.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

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

Chris Hankin
Paperback / softback, 289 pages
ISBN-13: 9783540643029
11 Mar 1998
Readership Age:
computers / programming languages / general Price: R 1 938.95
| on special |
normal price: R 2 154.95

Available from overseas. Usually dispatched in 14 days

| read more |

| add to trolley |

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

Chris Hankin
Hardback, 444 pages
ISBN-13: 9781860940033
1 Oct 1995
Readership Age:
computers / machine theory Price: R 5 328.95
| on special |
normal price: R 5 920.95

Usually dispatched in 3 to 4 weeks as supplier is out of stock

| read more |

| add to trolley |

| search results |

Introducao Ao Calculo Lambda

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

An Introduction to Lambada Calculi for Computer Scientists

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

Theory And Formal Methods Of Computing 94: Proceedings Of The Second Imperial College Workshop

The Correspondent

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Remarkably Bright Creatures

Dungeon Crawler Carl