Fortell venner om denne varen:
Handbook of Logic in Computer Science: Volume 4. Semantic Modelling - Handbook of Logic in Computer Science S. Abramsky
Pris
NOK 5.489
Bestillingsvarer
Forventes levert 9. - 20. jan 2026
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
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
| Media | Bøker Innbunden bok (Bok med hard rygg og stivt omslag) |
| Utgitt | 4. mai 1995 |
| ISBN13 | 9780198537809 |
| Utgivere | Oxford University Press |
| Antall sider | 666 |
| Mål | 161 × 241 × 40 mm · 1,12 kg |
| Språk | Engelsk |
| Redaktør | Abramsky, S. (Professor, Department of Computing, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London) |
| Redaktør | 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) |
| Redaktør | 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) |
