Utvidet returrett til 31. januar 2024

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

Filter
Filter
Sorter etterSorter Populære
  • - Interactive Proof with Cambridge LCF
    av Lawrence C. (University of Cambridge) Paulson
    697,-

    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.

Gjør som tusenvis av andre bokelskere

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