4.6
Geschichte 
Terminkalender 
Buchhandlungen 
Anfang 
Buch Details
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.
Lesen Sie mehr - Autor/in Lawrence C. (University Of Cambridge) Paulson
- ISBN13 9780521395601
- ISBN10 0521395607
- Buchseiten 320
- Jahr der Ausgabe 1990
- Fecha de publicación 26/07/1990
- Sprache Deutsch, Französisch
Rezensionen und Bewertungen
Sei die erste Person, die es bewertet!
Hast du gelesen Logic and Computation: Interactive Proof with Cambridge LCF?
Logic and Computation: Interactive Proof with Cambridge LCF (Deutsch, Französisch)
- Von
- Lawrence C. (University Of Cambridge) Paulson
- 9780521395601
64,22€
67,60€
-5%
Sendung Kostenlos
Nicht verfügbar
64,22€
67,60€
-5%
Sendung Kostenlos
Nicht verfügbar
Kostenlose Rücksendung
Vielen Dank für Ihren Einkauf in echten Buchhandlungen!
Neuheit 
Whatsapp
Facebook
Linkedin
X
