Powiedz znajomym o tym przedmiocie:
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 1st ed. 2017 edition
Dirk Draheim
Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics 1st ed. 2017 edition
Dirk Draheim
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
Zobacz wszystko od Dirk Draheim ( np. Paperback Book i Hardcover Book )