DRM-beskyttet

Rewriting Logic and Its Applications

- 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Forfatter: info mangler

E-bog

Format
E-bog, ePub
Engelsk

Indgår i serie
Lecture Notes in Computer Science

E-bogen er DRM-beskyttet og kræver et særligt læseprogram

Normalpris: kr. 654,95

Medlemspris: kr. 589,95 For at købe bogen til medlemspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis i 7 dage. Medlemskabet fornyes automatisk og kan altid opsiges.

Leveringstid: Straks (sendes på e-mail)
Split betalingen op med

Beskrivelse

This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 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.

Læs hele beskrivelsen

Detaljer

SprogEngelsk
Udgivelsesdato01-08-2024
ISBN139783031659416
Forlag Springer Nature Switzerland
FormatePub

Rewriting Logic and Its Applications

- 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Findes i disse kategorier...