Semantics and Logics of Computation
Inbunden, Engelska, 1997
Av Andrew M. (University of Cambridge) Pitts, Gothenberg) Dybjer, P. (Chalmers University of Technology, A. Pitts, P. Dybjer, Andrew M. Pitts
2 639 kr
Beställningsvara. Skickas inom 5-8 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
- Utgivningsdatum1997-01-30
- Mått157 x 235 x 25 mm
- Vikt650 g
- SpråkEngelska
- SeriePublications of the Newton Institute
- Antal sidor376
- FörlagCambridge University Press
- EAN9780521580571