Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cambridge, Massachusetts :
MIT Press,
[2013]
|
| Subjects: |
| Physical Description: | xii, 424 pages ; 24 cm. |
|---|---|
| Bibliography: | Includes bibliographical references and index. |
| ISBN: | 9780262026659 (hardcover : alk. paper) 0262026651 (hardcover : alk. paper) |