Certified programming with dependent types. A pragmatic introduction to the coq proof assistant.

類似資料

• Program logics for certified compilers.
  著者:: Appel, Andrew W., 1960-, 等
  出版事項: (2014)
• Machine translation
  著者:: Poibeau, Thierry
  出版事項: (2017)
• Classification automatique pour l'analyse des données
  著者:: Jambu, Michel
  出版事項: (1978)
• Types and programming languages.
  著者:: Pierce, Benjamin C.
  出版事項: (2002)
• Errores de las demostraciones geométricas
  著者:: Dubnov, Y. S
  出版事項: (1973)