Marknadens största urval
Snabb leverans

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

Filter
Filter
Sortera efterSortera Populära
  • - Interactive Proof with Cambridge LCF
    av Lawrence C. (University of Cambridge) Paulson
    840,-

    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.

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.