Models of Computation

Name: Models of Computation
Brand: Springer International Publishing AG
SKU: 9783319428987
Price: 38.27 EUR
Availability: InStock

Автор: Roberto Bruni, Ugo Montanari

Език:

Корици: С твърди корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 10-18 дни

38.27 € 74.85 лв

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

Информация за книгата

Автор

Roberto Bruni, Ugo Montanari

Език

Английски език

Корици

Книга - С твърди корици

Издадена

2017

страници

395

EAN

9783319428987

ISBN

3319428985

Enbook ID

13496437

Издател

Springer International Publishing AG

Теглоt

7509

Размери

155 x 235 x 27

Пълно описание

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

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Models of Computation

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също