Představení autora Aaron Stump:

Doposud vydané knihy od Aaron Stump:

Ověřené funkční programování v Agdě - Verified Functional Programming in Agda
Morgan & Claypool
Agda je pokročilý programovací jazyk založený na teorii typů. Typový systém...
Ověřené funkční programování v Agdě - Verified Functional Programming in Agda
Ověřené funkční programování v Agdě - Verified Functional Programming in Agda
Morgan & Claypool
Agda je pokročilý programovací jazyk založený na teorii typů. Typový systém...
Ověřené funkční programování v Agdě - Verified Functional Programming in Agda
<<
1
>>