Visit our Christmas Gift Finder
Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 78 (Paperback)
  • Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 78 (Paperback)
zoom

Edinburgh LCF: A Mechanized Logic of Computation - Lecture Notes in Computer Science 78 (Paperback)

(author), (author), (author)
£17.99
Paperback 161 Pages / Published: 01/12/1979
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783540097242
Number of pages: 161
Weight: 550 g
Dimensions: 235 x 155 x 9 mm
Edition: 1979 ed.

You may also be interested in...

The Lego Architect
Added to basket
£20.99
Hardback
How to Pass Higher Computing Science
Added to basket
Emotion: A Very Short Introduction
Added to basket
Computing with Quantum Cats
Added to basket
Portfolio, programme and project offices
Added to basket
Sound and Recording
Added to basket
Introducing Artificial Intelligence
Added to basket
Networks: A Very Short Introduction
Added to basket
Bayesian Reasoning and Machine Learning
Added to basket
AQA A level Computer Science
Added to basket
The Singularity Is Near
Added to basket
The Elements of Statistical Learning
Added to basket

Please sign in to write a review

Your review has been submitted successfully.