Verified Functional Programming in Agda

Verified Functional Programming in Agda

দ্বারা Aaron Stump
4/5
(3 ভোট)
প্রথম প্রকাশিত
2016
প্রকাশকদের
Morgan & Claypool Publishers
বিষয়
Functional programming

বইগুলো

অনুরূপ বই