Verkäufer
Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 6. Januar 2003
195 pages. 9.88x6.97x0.71 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __1009317865
The first introductory account of using string diagrams to reason in elementary category theory.
Über die Autorinnen und Autoren:
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.
Dan Marsden is a theoretical computer scientist currently working as Transitional Assistant Professor at the University of Nottingham. He is interested in the foundations of computer science, logic, and mathematics, with particular emphasis on the application of category theory.
Titel: Introducing String Diagrams: The Art of ...
Verlag: Cambridge University Press
Erscheinungsdatum: 2023
Einband: Hardcover
Zustand: Brand New
Anbieter: BooksRun, Philadelphia, PA, USA
Hardcover. Zustand: As New. 1. It's a preowned item in almost perfect condition. It has no visible cosmetic imperfections. May come without any shrink wrap; pages are clean and not marred by notes or folds of any kind. Artikel-Nr. 1009317865-10-1
Anzahl: 1 verfügbar
Anbieter: BooksRun, Philadelphia, PA, USA
Hardcover. Zustand: New. 1. The item is brand new, never used or read. It's in perfect condition and may include supplements and/or access codes or come shrink-wrapped. Artikel-Nr. 1009317865-9-1
Anbieter: Speedyhen, London, Vereinigtes Königreich
Zustand: NEW. Artikel-Nr. NW9781009317863
Anzahl: 2 verfügbar
Anbieter: moluna, Greven, Deutschland
Zustand: New. Über den AutorRalf 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. Artikel-Nr. 812999017
Anzahl: 2 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Neuware - This is the first self-contained introduction to the use of string diagrams to reason in elementary category theory. Written in an informal expository style, it features hundreds of carefully chosen diagrams to aid understanding. With numerous worked examples and exercises, the text is ideal for graduate students and advanced undergraduates. Artikel-Nr. 9781009317863
Anzahl: 1 verfügbar
Anbieter: preigu, Osnabrück, Deutschland
Buch. Zustand: Neu. Introducing String Diagrams | Ralf Hinze (u. a.) | Buch | Gebunden | Englisch | 2023 | Cambridge University Press | EAN 9781009317863 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu. Artikel-Nr. 126644636
Anzahl: 1 verfügbar
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Hardcover. Zustand: Brand New. 195 pages. 9.88x6.97x0.71 inches. In Stock. Artikel-Nr. x-1009317865
Anzahl: 2 verfügbar
Anbieter: Kennys Bookstore, Olney, MD, USA
Zustand: New. 2023. hardcover. . . . . . Books ship from the US and Ireland. Artikel-Nr. V9781009317863
Anzahl: 2 verfügbar