Semantics and Logics of Computation
Häftad, Engelska, 2009
Av Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, Andrew M. Pitts, P. Dybjer, Peter Dybjer
799 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.This book presents 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. They have been edited to form a coherent introduction to these topics.
Produktinformation
- Utgivningsdatum2009-08-20
- Mått152 x 231 x 31 mm
- Vikt572 g
- FormatHäftad
- SpråkEngelska
- SeriePublications of the Newton Institute
- Antal sidor376
- FörlagCambridge University Press
- ISBN9780521118460