Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Coalgebraic Methods in Computer Science

E-BookPDF1 - PDF WatermarkE-Book
217 Seiten
Englisch
Springer Nature Switzerlanderschienen am25.07.20242024
Verfügbare Formate
BuchKartoniert, Paperback
EUR69,54
E-BookPDF1 - PDF WatermarkE-Book
EUR160,49

Produkt

Details
Weitere ISBN/GTIN9783031664380
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2024
Erscheinungsdatum25.07.2024
Auflage2024
ReiheLecture Notes in Computer Science
Reihen-Nr.14617
Seiten217 Seiten
SpracheEnglisch
Dateigrösse4857 Kbytes
IllustrationenIX, 217 p. 38 illus., 13 illus. in color.
Artikel-Nr.17232694
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
Coalgebraic CTL: Fixpoint Characterization and Polynomial-time Model Checking.- A Categorical Approach to Coalgebraic Fixpoint Logic.- Preorder-Constrained Simulations for Program Refinement with Effects.- Automata and Coalgebras in Categories of Species.- Automata in W-Toposes, and General Myhill-Nerode Theorems.- Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras.- Explicit Hopcroft's Trick in Categorical Partition Refinement.- Proving Behavioural Apartness.- A Compositional Approach to Petri Nets.- Correspondence between Composite Theories and Distributive Laws.mehr