4.7
Història 
Agenda 
Inici 
Detalls del llibre
A study of techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). The book is aimed at graduate students and researchers in theoretical computer science.
Llegir més - Autor/a Lawrence C. (University Of Cambridge) Paulson
- ISBN13 9780521395601
- ISBN10 0521395607
- Pàgines 320
- Any Edició 1990
- Fecha de publicación 26/07/1990
- Idioma Alemany, Francès
Ressenyes i valoracions
Sigues la primera persona a valorar-lo!
Has llegit Logic and Computation: Interactive Proof with Cambridge LCF?
Logic and Computation: Interactive Proof with Cambridge LCF (Alemany, Francès)
- De
- Lawrence C. (University Of Cambridge) Paulson
- 9780521395601
64,22€
67,60€
-5%
Enviament Gratuït
No disponible
64,22€
67,60€
-5%
Enviament Gratuït
No disponible
Devolució gratuïta
Gràcies per comprar a llibreries reals!
Novetat 
Whatsapp
Facebook
Linkedin
X
