Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings: Lecture Notes in Computer Science, cartea 14617
Editat de Barbara König, Henning Urbaten Limba Engleză Paperback – 6 sep 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.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 1061.55 lei - 20%
Preț: 340.32 lei - 20%
Preț: 341.95 lei - 20%
Preț: 453.32 lei - 20%
Preț: 238.01 lei - 20%
Preț: 340.32 lei - 20%
Preț: 438.69 lei -
Preț: 449.57 lei - 20%
Preț: 343.62 lei - 20%
Preț: 148.66 lei - 20%
Preț: 310.26 lei - 20%
Preț: 256.27 lei - 20%
Preț: 645.28 lei - 17%
Preț: 427.22 lei - 20%
Preț: 655.02 lei - 20%
Preț: 307.71 lei - 20%
Preț: 1075.26 lei - 20%
Preț: 591.51 lei -
Preț: 381.21 lei - 20%
Preț: 337.00 lei - 15%
Preț: 438.59 lei - 20%
Preț: 607.39 lei - 20%
Preț: 538.29 lei -
Preț: 389.48 lei - 20%
Preț: 326.98 lei - 20%
Preț: 1414.79 lei - 20%
Preț: 1024.44 lei - 20%
Preț: 579.30 lei - 20%
Preț: 575.48 lei - 20%
Preț: 583.40 lei - 20%
Preț: 763.23 lei - 15%
Preț: 580.46 lei - 17%
Preț: 360.19 lei - 20%
Preț: 504.57 lei - 20%
Preț: 172.69 lei - 20%
Preț: 369.12 lei - 20%
Preț: 353.50 lei - 20%
Preț: 585.88 lei -
Preț: 410.88 lei - 20%
Preț: 596.46 lei - 20%
Preț: 763.23 lei - 20%
Preț: 825.93 lei - 20%
Preț: 649.49 lei - 20%
Preț: 350.21 lei - 20%
Preț: 309.90 lei - 20%
Preț: 122.89 lei
Preț: 484.47 lei
Nou
Puncte Express: 727
Preț estimativ în valută:
92.72€ • 96.54$ • 78.36£
92.72€ • 96.54$ • 78.36£
Carte disponibilă
Livrare economică 17 februarie-03 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031664373
ISBN-10: 303166437X
Ilustrații: VII, 213 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.34 kg
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 303166437X
Ilustrații: VII, 213 p.
Dimensiuni: 155 x 235 mm
Greutate: 0.34 kg
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
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.