• Educatieve en zakelijke oplossingen Wordt geopend in nieuw venster

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

Omslagafbeelding: Semantics of the Probabilistic Typed Lambda Calculus 9783642551970
  • Auteur(s)
    Dirk Draheim
  • Uitgever
    Springer
  • Indeling
    Vast
  • ISBN van papieren boek 9783642551970, 3642551971
  • ISBN van eText 9783642551987, 364255198X
  • Copyright
    2017
eTextbook huren of kopen
‌‌‌
€35.97 EUR
‌

's Werelds nr. 1 eTextbook-reader voor studenten. VitalSource is toonaangevend laanbieder van online tekstboeken en cursusmateriaal. Meer dan 15 miljoen gebruikers hebben het afgelopen jaar gebruik gemaakt van ons platform Bookshelf om hun leerervaring en resultaten te verbeteren. Door de altijd en overal toegankelijke functies en ingebouwde hulpmiddelen zoals markeerstiften, flitskaarten en studiegroepen, is het geen wonder dat zo veel studenten digitaal studeren met Bookshelf.

  • Meer dan 2,7 miljoen titels beschikbaar bij meer dan 1000 uitgevers

  • Meer dan 65.000 klantbeoordelingen met een gemiddelde waardering van 9,5

  • Meer dan 5 miljard digitale pagina's bekeken in de afgelopen 12 maanden

  • Meer dan 7000 instellingen die Bookshelf gebruiken in 241 landen

Semantics of the Probabilistic Typed Lambda Calculus: Markov Chain Semantics, Termination Behavior, and Denotational Semantics is geschreven door Dirk Draheim en gepubliceerd door Springer. De digitale en eTextbook-ISBN's voor Semantics of the Probabilistic Typed Lambda Calculus zijn 9783642551987, 364255198X en de ISBN's voor gedrukt materiaal zijn 9783642551970, 3642551971. Bespaar tot 80% ten opzichte van gedrukte boeken door over te stappen op digitaal bij VitalSource.

Terug naar boven