Category Theory and Computer Science David Pitt
53,49 €
Titel: Category Theory and Computer Science, Untertitel: 6th International Conference, CTCS '95, Cambridge, United Kingdom, August 7 - 11, 1995. Proceedings, Einband: Taschenbuch, Autor: David Pitt, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 268, Maße: 235x155x15 mm, Gewicht: 411 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Programmiersprachen Formale Logik Formale Sprachen Kategorientheorie Programmsemantik Semantics calculus category theory formal languages formal logics lambda calculus logic programming proof theory set theory type theory.
Jetzt bei Ebay:
