Verified Functional Programming in Agda

Verified Functional Programming in Agda

بواسطة Aaron Stump
4/5
(3 الأصوات)
نشرت لأول مرة
2016
الناشرون
Morgan & Claypool Publishers
المواد الدراسيه
Functional programming

كتب

كتب مماثلة