Zur Startseite gehen
0,00 €*
Cover: 9781107177895 | Introduction to Coalgebra | Bart Jacobs | Buch | Englisch | 2017
Dekorationsartikel gehören nicht zum Leistungsumfang.
Introduction to Coalgebra
Buch von Bart Jacobs
Sprache: Englisch

130,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.
An accessible introduction to coalgebra, with clear mathematical explanations and numerous examples and exercises.
Über den Autor
Bart Jacobs is Professor of Software and Security Correctness at Radboud University Nijmegen, the Netherlands. His work has been supported by prestigious grants such as the Pionier grant from the Netherlands Organisation for Scientific Research and the Advanced Investigator Grant from the European Research Council. Professor Jacobs is a member of Academia Europaea.
Inhaltsverzeichnis
1. Motivation; 2. Coalgebras of polynomial functors; 3. Bisimulations; 4. Logic, lifting and finality; 5. Monads, comonads and distributive laws; 6. Invariants and assertions; References; Definition and symbol index; Subject index.
Details
Erscheinungsjahr: 2017
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9781107177895
ISBN-10: 1107177898
Sprache: Englisch
Einband: Gebunden
Autor: Jacobs, Bart
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 235 x 157 x 31 mm
Von/Mit: Bart Jacobs
Erscheinungsdatum: 20.04.2017
Gewicht: 0,859 kg
Artikel-ID: 103708260
Über den Autor
Bart Jacobs is Professor of Software and Security Correctness at Radboud University Nijmegen, the Netherlands. His work has been supported by prestigious grants such as the Pionier grant from the Netherlands Organisation for Scientific Research and the Advanced Investigator Grant from the European Research Council. Professor Jacobs is a member of Academia Europaea.
Inhaltsverzeichnis
1. Motivation; 2. Coalgebras of polynomial functors; 3. Bisimulations; 4. Logic, lifting and finality; 5. Monads, comonads and distributive laws; 6. Invariants and assertions; References; Definition and symbol index; Subject index.
Details
Erscheinungsjahr: 2017
Fachbereich: Grundlagen
Genre: Importe, Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9781107177895
ISBN-10: 1107177898
Sprache: Englisch
Einband: Gebunden
Autor: Jacobs, Bart
Hersteller: Cambridge University Press
Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße: 235 x 157 x 31 mm
Von/Mit: Bart Jacobs
Erscheinungsdatum: 20.04.2017
Gewicht: 0,859 kg
Artikel-ID: 103708260
Sicherheitshinweis

Ähnliche Produkte

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...