De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
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
    639,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