Faites connaître cet article à vos amis:
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science S. Abramsky
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science
S. Abramsky
This handbook covers fundamental topics of semantic modelling in logic and computation. The chapters (some monographic in length), were written following years of coordination and follow a thematic point of view. This volume brings the reader up to front line research, and is indispensable to any serious worker in the area.
666 pages, line figures
| Médias | Livres Hardcover Book (Livre avec dos et couverture rigide) |
| Validé | 4 mai 1995 |
| ISBN13 | 9780198537809 |
| Éditeurs | Oxford University Press |
| Pages | 666 |
| Dimensions | 161 × 241 × 40 mm · 1,12 kg |
| Langue et grammaire | Anglais |
| Éditeur | Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| Éditeur | Gabbay, Dov M. (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| Éditeur | Maibaum, T. S. E. (Professor of Foundations of Software Engineering, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, University of London) |
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier