Certified Programming with Dependent Types

Certified Programming with Dependent Types

A Pragmatic Introduction to the Coq Proof Assistant

2/5
Առաջին անգամ հրապարակվել է
2013
Հրատարակիչներ
MIT Press
Լեզու
English

Գրքեր

Նմանատիպ գրքեր