Køb for 499 kr mere for gratis levering til pakkeshop
499 kr
Pakkeshop
599 kr
Hjemmelevering
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
557 kr
spar 8%
Læg i kurv nu
Fri fragt over 499,-
90 dages retur
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