Alltid gratis frakt*
Kundene elsker oss
Norges billigste bøker
Hjelp
Logg inn
  1. Hjem
  2. Forfattere
  3. Lawrence C. (University of Cambridge) Paulson

Bøker av Lawrence C. (University of Cambridge) Paulson

Filter
Filter
✕
Sorter etterSorter Populære
  • Logic and Computation af Lawrence C. (University of Cambridge) Paulson
    Logic and Computation
    - Interactive Proof with Cambridge LCF
    av Lawrence C. (University of Cambridge) Paulson
    713,-

    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.

    Se mer

Gjør som tusenvis av andre bokelskere

Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.