Semantics and Logics of Computation

Name: Semantics and Logics of Computation
Brand: Cambridge University Press
SKU: 9780521118460
Price: 57.24 EUR
Availability: InStock

Автор: Andrew M. PittsP. Dybjer

Език:

Корици: С меки корици

Издател: Cambridge University Press

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

Изпращаме след 14-21 дни

57.24 € 111.95 лв

The aim of this volume is to present developments in semantics and logics of computation in a way th...

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

Автор

Andrew M. PittsP. Dybjer

Език

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

Корици

Книга - С меки корици

Издадена

2009

страници

376

EAN

9780521118460

ISBN

0521118468

Enbook ID

02022694

Издател

Cambridge University Press

Теглоt

572

Размери

152 x 231 x 31

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

The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before.

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

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

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

Categories

Authors

Publishers

Продукти

Продукти

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

Categories

Authors

Publishers

Продукти

Продукти

Semantics and Logics of Computation

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

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

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

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