Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics - Dirk Draheim - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642551970 - 10 marca 2017
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

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

Dirk Draheim

Cena
zł 621,90

Zamówione z odległego magazynu

Przewidywana dostawa 27 sty - 5 lut
Dodaj do swojej listy życzeń iMusic

Również dostępne jako:

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 Książki     Hardcover Book   (Książka z twardym grzbietem i okładką)
Wydane 10 marca 2017
ISBN13 9783642551970
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 218
Wymiary 247 × 165 × 19 mm   ·   498 g
Język French  

Pokaż wszystko

Więcej od Dirk Draheim