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ț: 1020.28 lei - 20%
Preț: 791.54 lei - 20%
Preț: 633.70 lei - 20%
Preț: 984.64 lei - 20%
Preț: 782.57 lei - 20%
Preț: 558.53 lei - 20%
Preț: 562.49 lei - 20%
Preț: 487.46 lei - 20%
Preț: 400.77 lei - 20%
Preț: 386.08 lei - 20%
Preț: 489.11 lei - 20%
Preț: 556.96 lei - 20%
Preț: 560.93 lei - 15%
Preț: 558.12 lei - 20%
Preț: 793.92 lei - 20%
Preț: 560.93 lei - 20%
Preț: 1079.23 lei - 15%
Preț: 672.87 lei - 20%
Preț: 435.28 lei - 20%
Preț: 375.72 lei - 20%
Preț: 342.61 lei - 20%
Preț: 432.78 lei - 20%
Preț: 904.16 lei - 20%
Preț: 1391.87 lei - 20%
Preț: 373.80 lei - 20%
Preț: 400.17 lei - 20%
Preț: 478.59 lei - 20%
Preț: 1359.66 lei - 20%
Preț: 620.33 lei - 20%
Preț: 731.97 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1033.45 lei - 20%
Preț: 563.29 lei - 20%
Preț: 733.68 lei - 20%
Preț: 1137.10 lei - 20%
Preț: 560.93 lei - 20%
Preț: 735.28 lei - 20%
Preț: 748.63 lei - 20%
Preț: 560.11 lei - 20%
Preț: 1032.47 lei - 20%
Preț: 850.42 lei - 20%
Preț: 679.09 lei - 20%
Preț: 1246.46 lei - 20%
Preț: 631.96 lei - 20%
Preț: 488.90 lei - 20%
Preț: 293.24 lei - 20%
Preț: 403.00 lei
Preț: 465.97 lei
Puncte Express: 699
Preț estimativ în valută:
82.40€ • 94.49$ • 71.21£
82.40€ • 94.49$ • 71.21£
Carte disponibilă
Livrare economică 06-20 aprilie
Specificații
ISBN-13: 9783031664373
ISBN-10: 303166437X
Pagini: 217
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
Pagini: 217
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.