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
- BoghandlerPrisFragtLevering
- SAXO619,95 kr.Gratis fragtUkendtKøb for 619,95 kr.Køb
- Bogreolen946,95 kr.0,00 kr.8-11 hverdageKøb for 946,95 kr.Køb
- Tales947,95 kr.34,95 kr.8-11 hverdageKøb for 947,95 kr.Køb
- Pling BØGER947,95 kr.34,95 kr.8-11 hverdageKøb for 947,95 kr.Køb
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