Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Semantics of the Probabilistic Typed Lambda Calculus Dirk Draheim

Name: Semantics of the Probabilistic Typed Lambda Calculus Dirk Draheim
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080051231
Price: 128.39 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

128,39 €

Titel: Semantics of the Probabilistic Typed Lambda Calculus, Untertitel: Markov Chain Semantics, Termination Behavior, and Denotational Semantics, Einband: Taschenbuch, Autor: Dirk Draheim, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 228, Maße: 235x155x13 mm, Gewicht: 353 g, Verkäufer: buch-mimpf, Schlagworte: Markov chains Programming language theory computability lambda calculus probabilistic computation randomized algorithms verification by model checking.

Jetzt bei Ebay:

Zum Angebot *

Verlag:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Autor:

Dirk Draheim
Seiten:

228
Gewicht:

353
Einband:

Taschenbuch
Format:

235x155x13 mm
Sprache:

Englisch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Semantics of the Probabilistic Typed Lambda Calculus
Erscheinungsjahr:

20180504
Produktart:

Bücher
Buchtitel:

Semantics of the Probabilistic Typed Lambda Calculus
Untertitel:

Markov Chain Semantics, Termination Behavior, and Denotational...
Film-/Fernseh-Titel:

Keine Angabe
Publikationsname:

Semantics of the Probabilistic Typed Lambda Calculus
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

Markov chains Programming language theory computability lam...
ISBN:

9783662568729

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 20. June 2025 und 25. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere