Categories in Computer Science and Logic
Joint Summer Research Conference in the Mathematical Sciences
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.
CHF 95.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Scedrov, Andrej (Hrsg.)
- ISBN: 978-0-8218-5100-5
- EAN: 9780821851005
- Produktnummer: 23206456
- Verlag: American Mathematical Society
- Sprache: Englisch
- Erscheinungsjahr: 1992
- Seitenangabe: 382 S.
- Masse: H25.4 cm x B17.1 cm 660 g
- Gewicht: 660
- Sonstiges: Postgraduate, Research & Scholarly
Bewertungen
Anmelden