Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics - Dirk Draheim - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642551970 - March 10, 2017
In case cover and title do not match, the title is correct

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 1st ed. 2017 edition

Dirk Draheim

Price
A$ 224.99
excl. VAT

Ordered from remote warehouse

Expected delivery May 13 - 26
Add to your iMusic wish list

Also available as:

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 1st ed. 2017 edition

218 pages, 6 black & white illustrations, 5 black & white tables, biography

Media Books     Hardcover Book   (Book with hard spine and cover)
Released March 10, 2017
ISBN13 9783642551970
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 218
Dimensions 247 × 165 × 19 mm   ·   498 g
Language French  

Show all

More by Dirk Draheim