Domain-theoretic Foundations Of Functional Programming

Name: Domain-theoretic Foundations Of Functional Programming
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789812701428
Price: 1097 CZK
Availability: PreOrder

Autor: Thomas Streicher

Jazyk:

Vazba: Pevná

Vydavatel: World Scientific Publishing Co Pte Ltd

Dostupnost: Očekávaný dotisk

Termín neznámý

1 097 Kč

Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages...

Informace o knize

Autor

Thomas Streicher

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2006

Stránek

132

EAN

9789812701428

ISBN

9789812701428

Enbook ID

06788222

Vydavatel

World Scientific Publishing Co Pte Ltd

Hmotnost

374

Rozměry

164 x 236 x 14

Kompletní popis

Provides a basis for a PhD course on domain-theoretic semantics of functional programming languages and their meta-mathematical properties. This book introduces basic domain theory and technique of logical relations as developed by Scott and Plotkin. It also introduces computability in Scott domains.

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Domain-theoretic Foundations Of Functional Programming

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také