Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.
में बचाया:
| मुख्य लेखक: | |
|---|---|
| स्वरूप: | पुस्तक |
| प्रकाशित: |
Cambridge, Massachusetts, USA: London, England,
2013.
|
| विषय: | |
| टैग: |
टैग जोड़ें
कोई टैग नहीं, इस रिकॉर्ड को टैग करने वाले पहले व्यक्ति बनें!
|
टिप्पणी देने वाले पहले व्यक्ति बनें!