Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers: Lecture Notes in Computer Science, cartea 14953
Editat de Kazuhiro Ogata, Narciso Martí Olieten Limba Engleză Paperback – 4 sep 2024
The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 426.75 lei - 20%
Preț: 315.62 lei - 20%
Preț: 320.92 lei - 15%
Preț: 426.53 lei - 20%
Preț: 313.87 lei - 20%
Preț: 355.79 lei - 20%
Preț: 355.54 lei - 20%
Preț: 355.18 lei - 20%
Preț: 390.68 lei - 20%
Preț: 392.03 lei - 20%
Preț: 498.95 lei - 20%
Preț: 390.79 lei - 20%
Preț: 495.44 lei - 20%
Preț: 498.80 lei - 20%
Preț: 498.50 lei - 20%
Preț: 355.93 lei - 20%
Preț: 639.52 lei - 20%
Preț: 499.90 lei - 20%
Preț: 498.95 lei - 20%
Preț: 390.42 lei - 20%
Preț: 326.81 lei - 20%
Preț: 391.36 lei - 20%
Preț: 321.68 lei - 20%
Preț: 498.90 lei - 20%
Preț: 312.82 lei - 20%
Preț: 496.73 lei - 20%
Preț: 320.72 lei - 20%
Preț: 497.25 lei - 15%
Preț: 496.40 lei - 20%
Preț: 324.19 lei - 20%
Preț: 498.80 lei - 20%
Preț: 461.86 lei - 20%
Preț: 355.59 lei -
Preț: 418.19 lei - 20%
Preț: 498.59 lei - 20%
Preț: 391.28 lei - 20%
Preț: 355.69 lei - 15%
Preț: 499.72 lei - 20%
Preț: 499.40 lei - 20%
Preț: 458.84 lei - 20%
Preț: 390.42 lei - 20%
Preț: 270.68 lei - 20%
Preț: 497.75 lei - 20%
Preț: 423.78 lei - 20%
Preț: 322.32 lei - 20%
Preț: 322.09 lei - 20%
Preț: 427.09 lei - 20%
Preț: 499.90 lei - 20%
Preț: 463.03 lei
Preț: 370.47 lei
Preț vechi: 463.09 lei
-20% Nou
Puncte Express: 556
Preț estimativ în valută:
65.55€ • 76.48$ • 57.31£
65.55€ • 76.48$ • 57.31£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031659409
ISBN-10: 3031659406
Pagini: 209
Ilustrații: XXV, 200 p.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031659406
Pagini: 209
Ilustrații: XXV, 200 p.
Dimensiuni: 155 x 235 mm
Ediția:2024
Editura: Springer Nature Switzerland
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
.- Regular Papers.
.- Verifying Invariants by Deductive Model Checking.
.- Time-Bounded Resilience.
.- Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ.
.- Equivalence, and Property Internalization and Preservation for Equational Programs.
.- Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.
.- Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.
.- Timed Strategies for Real-Time Rewrite Theories.
.- Specifying Fairness Constraints and Model Checking with Non-intensional Strategies.
.- Tool Papers.
.- The hrewrite Library: a Term Rewriting Engine for Automatic Code Assembly.
.- A Flexible Framework for Integrating Maude and SMT Solvers Using Python.
.- Education Papers.
.- Teaching an Advanced Maude-based Formal Methods Course in Oslo.
.- Verifying Invariants by Deductive Model Checking.
.- Time-Bounded Resilience.
.- Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ.
.- Equivalence, and Property Internalization and Preservation for Equational Programs.
.- Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude.
.- Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic.
.- Timed Strategies for Real-Time Rewrite Theories.
.- Specifying Fairness Constraints and Model Checking with Non-intensional Strategies.
.- Tool Papers.
.- The hrewrite Library: a Term Rewriting Engine for Automatic Code Assembly.
.- A Flexible Framework for Integrating Maude and SMT Solvers Using Python.
.- Education Papers.
.- Teaching an Advanced Maude-based Formal Methods Course in Oslo.