Articles liés à Semantics and Logics of Computation

Semantics and Logics of Computation - Couverture rigide

 
9780521580571: Semantics and Logics of Computation
Couverture rigide
ISBN 10 : 0521580579 ISBN 13 : 9780521580571
Editeur : Cambridge University Press, 1997

Synopsis

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

À propos de l'auteur

Andrew Pitts FACM FBCS is Professor of Theoretical Computer Science at the University of Cambridge and a Fellow of Darwin College.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Éditeur
Cambridge University Press
Date d'édition
1997
Langue
anglais
ISBN 10 
0521580579
ISBN 13 
9780521580571
Reliure
Relié
Nombre de pages
376
Éditeur
Pitts Andrew M., Dybjer P.
Coordonnées du fabricant
non disponible
Personne responsable
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
France

Autres éditions populaires du même titre

9780521118460: Semantics and Logics of Computation

Edition présentée

ISBN 10 :  0521118468 ISBN 13 :  9780521118460
Editeur : Cambridge University Press, 2009
Couverture souple