Markedets billigste bøger
Levering: 1 - 2 hverdage

Bøger af Pierre Casteran

Filter
Filter
Sorter efterSorter Populære
  • - Coq'Art: The Calculus of Inductive Constructions
    af Yves Bertot & Pierre Casteran
    945,95 - 1.251,95 kr.

    A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Gør som tusindvis af andre bogelskere

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