Main image
Click to view image in fullscreen
![]()
Categories in Computer Science and Logic
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.
770,00 DH
Sur commande
Presents the proceedings of AMS-IMS-SIAM Summer Research Conference on Categories in Computer Science and Logic that was held at the University of Colorado in Boulder. This book discusses the use of category theory in formalizing aspects of computer programming and program design.
| ISBN / EAN | 9780821851005 |
|---|---|
| Editeur | American Mathematical Society |