Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Författare
  3. Lawrence C. (University of Cambridge) Paulson

Böcker av Lawrence C. (University of Cambridge) Paulson

Filter
Filter
✕
Sortera efterSortera Populära
  • 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
    839,-

    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

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.