Contacto
Como comprar
Entrega
Guia de compras
Models of Computation
Inglês
96 b
Até 30 dias para devoluções
Os clientes também compraram
/
Capa mole
52.77
€
/
Capa mole
23.75
€
/
Livro de capa dura
47.01
€
/
Capa mole
20.31
€
/
CD de áudio
16.98
€
This book presents in their basic form the most important models of computation, their programming paradigms, and their mathematical descriptions, both concrete and abstract. The authors also describe important techniques for reasoning on them and for proving some essential properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language, concurrent systems, and probabilistic systems.§§The book will be useful for undergraduate and graduate courses on theoretical computer science.§
Sobre o livro
Inglês
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatárioTambém pode estar interessado em
/
Livro de capa dura
22.74
€
/
Livro de capa dura
30.02
€
/
Capa mole
17.18
€
Olá! Sou o Libroamiko, o seu conselheiro de livros.
Como posso ajudar?