Handbook of Logic in Computer Science: Logic and Algebraic Methods (5) - Couverture rigide

 
9780198537816: Handbook of Logic in Computer Science: Logic and Algebraic Methods (5)
Couverture rigide
ISBN 10 : 0198537816 ISBN 13 : 9780198537816
Editeur : Oxford University Press, 2001

Synopsis

This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas.

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

À propos de l?auteur

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

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

Éditeur
Oxford University Press
Date d'édition
2001
Langue
anglais
ISBN 10 
0198537816
ISBN 13 
9780198537816
Reliure
Relié
Nombre de pages
556
Éditeur
Abramsky S., Gabbay Dov M., Maibaum T. S. E.
Coordonnées du fabricant
non disponible
Personne responsable
Ufficio Anagrafiche Messaggerie
ufficio.anagrafiche@meli.it

Via Verdi, 8
Assago Milano
20090
Italie