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

124,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

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: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781107177895
ISBN-10: 1107177898
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Jacobs, Bart
Hersteller: Cambridge University Press
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: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
Inhalt: Gebunden
ISBN-13: 9781107177895
ISBN-10: 1107177898
Sprache: Englisch
Ausstattung / Beilage: HC gerader Rücken kaschiert
Einband: Gebunden
Autor: Jacobs, Bart
Hersteller: Cambridge University Press
Maße: 235 x 157 x 31 mm
Von/Mit: Bart Jacobs
Erscheinungsdatum: 20.04.2017
Gewicht: 0,859 kg
Artikel-ID: 103708260
Warnhinweis

Ähnliche Produkte

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