
“– Encyclopaedia of Virology FOURTH EDition 4th (PDF/EPUB Version)” has been added to your cart. Continue shopping
“’Pataphysics Unrolled (PDF/EPUB Version)” has been added to your cart. Continue shopping
“‘Greater India’ and the Indian Expansionist Imagination, c. 1885–1965: The Rise and Decline of the Idea of a Lost Hindu Empire (PDF/EPUB Version)” has been added to your cart. Continue shopping
“(In)visible Acts of Resistance in the Twilight of the Franco Regime: A Historical Narration (PDF/EPUB Version)” has been added to your cart. Continue shopping
Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (PDF/EPUB Version)
$19.99
Description
Author: Boro Sitnikovski
Series:
Publisher: Apress
Year: 2023
Edition: 1
Language: English
ISSN: