Mohlo by sa vám tiež páčiť

Viac informácií o knihe Semantics and Logics of Computation

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 487 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

• Celý názov: Semantics and Logics of Computation
• Autor: P. Dybjer, A. Pitts, Andrew M. Pitts
• Jazyk: Angličtina
• Väzba: Pevná
• Počet strán: 376
• EAN: 9780521580571
• ISBN: 0521580579
• ID: 02036048
• Nakladateľ: Cambridge University Press
• Hmotnosť: 650 g
• Rozmery: 235 × 157 × 25 mm
• Dátum vydania: 30. January 1997

Obľúbené z iného súdka

---

---

---