Certified Programming with Dependent Types : A Pragmatic Introduction to the Coq Proof Assistant
Adam Chlipala
Mıt Press
Basım Tarihi:
2014
ISBN:
9780262026659
Kapak Türü:
Ciltli
Dil:
İngilizce
Satışta Yok
En son güncelleme:2025-05-23 03:05:37
