Semantics and Logics of Computation

Name: Semantics and Logics of Computation
Brand: Cambridge University Press
SKU: 9780521580571
Price: 3763 CZK
Availability: InStock

Autor: P. Dybjer, A. Pitts, Andrew M. Pitts

Jazyk:

Vazba: Pevná

Vydavatel: Cambridge University Press

Dostupnost: Skladem u dodavatele

Odesíláme za 14-21 dnů

3 763 Kč

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

Informace o knize

Autor

P. Dybjer, A. Pitts, Andrew M. Pitts

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

1997

Stránek

376

EAN

9780521580571

ISBN

0521580579

Enbook ID

02036048

Vydavatel

Cambridge University Press

Hmotnost

650

Rozměry

157 x 235 x 25

Kompletní popis

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.

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

Semantics and Logics of Computation

Informace o knize

Kompletní popis

Mohlo by vás zajímat

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