Billede af bogens forside - Interactive Theorem Proving and Program Development

Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

af Yves Bertot, m.fl.

Bog, Paperback, Engelsk, 2010

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.

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783642058806
  • Udgivet1/12/2010
  • Udgivet afSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
  • Længde472 sider
  • ForfattereYves Bertot, Pierre Casteran
  • GenreBusiness og læring, Computer og IT