Atjaunināt sīkdatņu piekrišanu

Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 67, 2024, Proceedings 2024 ed. [Mīkstie vāki]

Edited by , Edited by
  • Formāts: Paperback / softback, 217 pages, height x width: 235x155 mm, 13 Illustrations, color; 25 Illustrations, black and white; IX, 217 p. 38 illus., 13 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14617
  • Izdošanas datums: 26-Jul-2024
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 303166437X
  • ISBN-13: 9783031664373
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 60,29 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 70,94 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 67, 2024, Proceedings 2024 ed.Palielināt
  • Formāts: Paperback / softback, 217 pages, height x width: 235x155 mm, 13 Illustrations, color; 25 Illustrations, black and white; IX, 217 p. 38 illus., 13 illus. in color., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 14617
  • Izdošanas datums: 26-Jul-2024
  • Izdevniecība: Springer International Publishing AG
  • ISBN-10: 303166437X
  • ISBN-13: 9783031664373
Citas grāmatas par šo tēmu:
Permanent link: https://www.kriso.lv/db/9783031664373.html
This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.





The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.
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 Hopcrofts Trick in Categorical
Partition Refinement.- Proving Behavioural Apartness.- A Compositional
Approach to Petri Nets.- Correspondence between Composite Theories and
Distributive Laws.