Models of Computation

Name: Models of Computation
Brand: Springer International Publishing AG
SKU: 9783319428987
Price: 839 CZK
Availability: InStock

Autor: Roberto Bruni, Ugo Montanari

Jazyk:

Vazba: Pevná

Vydavatel: Springer International Publishing AG

Dostupnost: Skladem u dodavatele

Odesíláme za 10-18 dnů

839 Kč

This book presents in their basic form the most important models of computation, their programming p...

Informace o knize

Autor

Roberto Bruni, Ugo Montanari

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

2017

Stránek

395

EAN

9783319428987

ISBN

3319428985

Enbook ID

13496437

Vydavatel

Springer International Publishing AG

Hmotnost

7509

Rozměry

155 x 235 x 27

Kompletní popis

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.§

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

Models of Computation

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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