Bøger af Yves Bertot - plingboeger.dk

De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger

Levering: 1 - 2 hverdage

Populære

Interactive Theorem Proving and Program Development

- Coq'Art: The Calculus of Inductive Constructions

af Yves Bertot & Pierre Casteran

893,95 - 1.180,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.
- Bog
- 893,95 kr.
Se mere