Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Forfattere
  3. Lawrence C. (University of Cambridge) Paulson

Bøger af Lawrence C. (University of Cambridge) Paulson

Filter
Filter
✕
Sorter efterSorter Populære
  • Logic and Computation af Lawrence C. (University of Cambridge) Paulson
    Logic and Computation
    - Interactive Proof with Cambridge LCF
    af Lawrence C. (University of Cambridge) Paulson
    654,95 kr.

    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 mere

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.