Semantics of the Probabilistic Typed Lambda Calculus : Markov Chain Semantics, Termination Behavior, and Denotational Semantics / by Dirk Draheim
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: SpringerLink Bücher | Springer eBook Collection Computer ScienceVerlag: Berlin, Heidelberg : Springer, 2017Beschreibung: Online-Ressource (VIII, 218 p. 6 illus, online resource)ISBN:- 9783642551987
- 004.0151
- QA75.5-76.95
Dieser Titel hat keine Exemplare