剧情简介：The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus ...(展开全部)
作者：Adam Chlipala
出版社：The MIT Press
ISBN：9780262026659
