Bücher Wenner
Bücher
Stöbern
Kalender
unsere Tipps
Bestseller
Neuheiten
im Feuilleton
Themenwelten
Englische Titel
Französische Titel
Italienische Titel
Spanische Titel
aus unserer Werbung
Prämien
signierte Bücher
Gutscheine
Stöbern
Kalender
E-Books
Stöbern
% E-Book Deals %
technische Tipps
Signierte Bücher
Jura-Studium
Service
Abholung
Ankauf
dtv-Beck
Fachbücher
Fahrradkurier
Familienstarter
Geschäftskunden
Geschenke
Gutscheine
Kulturpass
Literatur-Abo
Literaturkarte
Schulbücher
signierte Bücher
Versand
Verträge hier kündigen
Wunschzettel
über uns
Bücher Wenner
Ausbildung & Praktikum
Karriere
Engagement
Sponsoring
Umwelt
Kontakt
Apfelbaumpaten
Vorlesetag - Das Schaf Rosa liebt Rosa
15.11.2024 um 15:00 Uhr
Introducing String Diagrams
The Art of Category Theory
von Ralf Hinze, Dan Marsden
Verlag: Cambridge University Press
Gebundene Ausgabe
ISBN: 978-1-009-31786-3
Erschienen am 10.08.2023
Sprache: Englisch
Format: 231 mm [H] x 160 mm [B] x 30 mm [T]
Gewicht: 700 Gramm
Umfang: 195 Seiten

Preis: 50,00 €
keine Versandkosten (Inland)


Jetzt bestellen und voraussichtlich ab dem 23. November in der Buchhandlung abholen.

Der Versand innerhalb der Stadt erfolgt in Regel am gleichen Tag.
Der Versand nach außerhalb dauert mit Post/DHL meistens 1-2 Tage.
50,00 €
merken
zum E-Book (PDF) 50,49 €
klimaneutral
Der Verlag produziert nach eigener Angabe noch nicht klimaneutral bzw. kompensiert die CO2-Emissionen aus der Produktion nicht. Daher übernehmen wir diese Kompensation durch finanzielle Förderung entsprechender Projekte. Mehr Details finden Sie in unserer Klimabilanz.
Biografische Anmerkung
Inhaltsverzeichnis

Ralf Hinze is Professor of Software Engineering at the University of Kaiserslautern¿Landau (RPTU). His research is centered around the construction of provably correct software, with a particular emphasis on functional programming, algebra of programming, applied category theory, and persistent data structures. His goal is to develop theory, languages, and tools that simplify the construction of reliable software systems.



Prologue; 1. Category theory; 2. String diagrams; 3. Monads; 4. Adjunctions; 5. Putting it all together; Epilogue; Appendix. Notation; References; Index.


andere Formate