Conte aos seus amigos sobre este item:
Domain-theoretic Foundations Of Functional Programming Streicher, Thomas (Technische Univ Darmstadt, Germany)
Preço
R$ 296,90
excluindo impostos
Item sob encomenda (no estoque do fornecedor)
Espera-se estar pronto para envio 23 de set - 5 de out
Receba avisos sobre novos lançamentos de Streicher, Thomas (Technische Univ Darmstadt, Germany)
O que dizem nossos clientes:
Adicione à sua lista de desejos do iMusic
Domain-theoretic Foundations Of Functional Programming
Streicher, Thomas (Technische Univ Darmstadt, Germany)
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.
132 pages, illustrations
| Mídia | Livros Hardcover Book (Livro com lombada e capa dura) |
| Lançado | 5 de dezembro de 2006 |
| ISBN13 | 9789812701428 |
| Editoras | World Scientific Publishing Co Pte Ltd |
| Páginas | 132 |
| Dimensões | 164 × 236 × 14 mm · 374 g |
![Cover for Marsh, Gerald E (Argonne National Laboratory (Retired), USA) · Force-free Magnetic Fields: Solutions, Topology and Applications (Hardcover Book) [Second edition] (2026)](https://imusic.b-cdn.net/images/item/original/948/9789819833948.jpg?marsh-gerald-e-argonne-national-laboratory-retired-usa-2026-force-free-magnetic-fields-solutions-topology-and-applications-hardcover-book&class=scaled&v=1786981299)