Store besparelser
Hurtig levering
Fri fragt over 499,-
Gemte
Log ind
0
Kurv
Kurv
Logic and Computation
- Interactive Proof with Cambridge LCF
Engelsk
Bogcover for Logic and Computation af Lawrence C. Paulson, 9780521395601
Specifikationer
Sprog:
Engelsk
Sider:
320
ISBN-13:
9780521395601
Indbinding:
Paperback
ISBN-10:
0521395607
Kategori:
Udg. Dato:
26 jul 1990
Størrelse i cm:
24,7 x 18,7 x 1,9
Oplagsdato:
26 jul 1990
Forfatter(e):

Logic and Computation

- Interactive Proof with Cambridge LCF
Engelsk
Paperback 1990
Format:

Bog beskrivelse
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.
... Vis mere

Forlags Vejl. pris
605,89 kr
Hos Booktok
527 kr
spar 13%
Læg i kurv nu
Sikker betaling
23 - 25 hverdage

Specifikationer
Sprog:
Engelsk
Sider:
320
ISBN-13:
9780521395601
Indbinding:
Paperback
ISBN-10:
0521395607
Kategori:
Udg. Dato:
26 jul 1990
Størrelse i cm:
24,7 x 18,7 x 1,9
Oplagsdato:
26 jul 1990
Forfatter(e):
Finder produkter...
Kategori sammenhænge