Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi
Başlık:
Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers
Yazar:
Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259
ISBN:
9783031659416
Basım Bilgisi:
1st ed. 2024.
Fiziksel Tanımlama:
X, 209 p. 20 illus., 9 illus. in color. online resource.
Seri:
Lecture Notes in Computer Science, 14953
Özet:
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.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 604553-1001 ONLINE
Arıyor...

On Order