Bøger af Lawrence C. (University of Cambridge) Paulson
Filter
Sorter efterSorter
Populære
-
- Interactive Proof with Cambridge LCF
640,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.
- Bog
- 640,95 kr.