Dirk Draheim : Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics
100,00 €
Varastossa
Vain %1 jäljellä
SKU
P-SEMA-B58D70
Tuoteryhmä | |
---|---|
Tekijä | Dirk Draheim |
Teoksen nimi | Semantics of the Probabilistic Typed Lambda Calculus - Markov Chain Semantics, Termination Behavior, and Denotational Semantics |
SKU | P-SEMA-B58D70 |