Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development - Yves Bertot - Bog

- Coq'Art: The Calculus of Inductive Constructions

af Yves Bertot, Pierre Casteran

indgår i Texts in Theoretical Computer Science. An EATCS Series serien

Interactive Theorem Proving and Program Development af Yves Bertot
Bag om Interactive Theorem Proving and Program Development

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783642058806
  • Indbinding:
  • Paperback
  • Sideantal:
  • 472
  • Udgivet:
  • 1. December 2010
  • Udgave:
  • 12004
  • Størrelse:
  • 236x155x26 mm.
  • Vægt:
  • 748 g.
  • 8-11 hverdage.
  • 15. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Yves Bertot

Vis alle bøger af Yves Bertot

Beskrivelse af Interactive Theorem Proving and Program Development

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.

Brugerbedømmelser af Interactive Theorem Proving and Program Development



Andre købte også..
Find lignende bøger
Bogen Interactive Theorem Proving and Program Development findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

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