22,99 €
inkl. MwSt.
Versandfertig in 6-10 Tagen
11 °P sammeln
Andere Kunden interessierten sich auch für
![Learn Type-Driven Development]( "Learn Type-Driven Development")
Learn Type-Driven Development39,99 €![Creating High-Performance, Statically Type-Safe Network Applications]( "Creating High-Performance, Statically Type-Safe Network Applications")
Creating High-Performance, Statically Type-Safe Network Applications44,99 €![Type systems with first class polymorphisms using Attribute Grammars]( "Type systems with first class polymorphisms using Attribute Grammars")
Type systems with first class polymorphisms using Attribute Grammars32,99 €![Type and Effect Systems: Behaviours for Concurrency]( "Type and Effect Systems: Behaviours for Concurrency")
Type and Effect Systems: Behaviours for Concurrency97,99 €![Basic Simple Type Theory]( "Basic Simple Type Theory")
Basic Simple Type Theory47,99 €![A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler]( "A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler")
A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler41,00 €![Automatic Differentiation]( "Automatic Differentiation")
Automatic Differentiation22,99 €
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. In computer science and logic, a dependent type is a type that depends on a value. Dependent types play a central role in intuitionistic type theory and in the design of experimental functional programming languages like Dependent ML, Agda and Epigram.