株式会社極東書店トップ商品一覧Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. 1st ed. 2020

商品詳細

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. 1st ed. 2020

Rewriting Logic and Its Applications: 13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers. 1st ed. 2020

・ISBN 978-3-030-63594-7 paper EUR 49.99

¥13,361.- (税込) (※)価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。

お気に入り
著者・編者Escobar, Santiago / Marti-Oliet, Narciso (eds.),
シリーズ (Lecture Notes in Computer Science)
出版社 (Springer Nature Switzerland AG, SZ)
出版年月2020
ページ数217 pp.
言語ENG
ニュース番号<A01-77926>

解説

This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.

Due to the COVID-19 pandemic the workshop took place virtually.

The 11 full papers presented in this volume were carefully reviewed and selected from 16 submissions Rewriting logic is a natural model of computation and an expressive semantic framework for concurrency, parallelism, communication, and interaction. It can be used for specifying a wide range of systems and languages in various application fields.