Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termina... (Bog, Paperback / softback, Engelsk)

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics

(Bog, Paperback / softback, Engelsk)
Forfatter: Dirk Draheim

Bemærk: Kan ikke leveres før jul.

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Forfatter Dirk Draheim
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgave Softcover reprint of the original 1st ed. 2017
Udgivelsesdato 04-05-2018
Første udgivelsesår 2018
Illustrationer 6 Illustrations, black and white; VIII, 218 p. 6 illus.
Originalsprog Germany
Sideantal 218
Indbinding Paperback / softback
Forlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sideoplysninger 218 pages, 6 Illustrations, black and white; VIII, 218 p. 6 illus.
Mål 235 x 155
ISBN-13 / EAN-13 9783662568729