Vitalsource Technologies, Inc. Introduction to Dependent Types with Idris

Sponsored  This site contains affiliate links for which we may receive compensation. More information

Sponsored Vitalsource Technologies, Inc. Introduction to Dependent Types with Idris

34.99 USD
Price updated on: 16-11-2024 16:53:13
View product deal
Identifiers
Dimensions / Weight
Key Features
APress
Apress is a publishing company that specializes in technology books.