Semantics of the Probabilistic Typed Lambda Calculus Dirk Draheim
128,39 €
Titel: Semantics of the Probabilistic Typed Lambda Calculus, Untertitel: Markov Chain Semantics, Termination Behavior, and Denotational Semantics, Einband: Buch, Autor: Dirk Draheim, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 228, Maße: 241x160x18 mm, Gewicht: 512 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Mathematik / Informatik, Computer Programmiersprachen Markov chains probabilistic computation computability randomized algorithms Programming language theory verification by model checking.
Jetzt bei Ebay:
![Produktbild - Lambda-Calculus and Combinators: An Introduction by J. Roger Hindley [Hardback]](https://i.ebayimg.com/thumbs/images/g/8UoAAeSwbHNoSMkH/s-l140.jpg)
