Semantics and Logics of Computation

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

Autor: Andrew M. PittsP. Dybjer

Limbă:

Legare: Carte broșată

Editura: Cambridge University Press

Disponibilitate: În depozitul extern

Expediem în 14-21 zile

313.57 lei

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

Informații despre carte

Autor

Andrew M. PittsP. Dybjer

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2009

Pagini

376

EAN

9780521118460

ISBN

0521118468

Enbook ID

02022694

Editura

Cambridge University Press

Greutate

572

Dimensiuni

152 x 231 x 31

Descriere completă

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.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Semantics and Logics of Computation

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și