Rewriting logic and its applications : 15th international workshop, WRLA 2024 : Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers

• Material Type: 図書
• ISBN: 9783031659409; 3031659406; 9783031659416 (electronic bk.); 3031659414 (electronic bk.)
• ISSN (series): 0302-9743
• Title: Rewriting logic and its applications : 15th international workshop, WRLA 2024 : Luxembourg City, Luxembourg, April 6-7, 2024 : revised selected papers
• Series Title: Lecture notes in computer science ; 14953
• Author Heading: WRLA (Conference) (15th : 2024 : Luxembourg, Luxembourg); Ogata, Kazuhiro; Martí-Oliet, N. (Narciso)
• Publication, Distribution, etc.: Cham : Springer (出版)
• Publication Date: [2024]
• Publication Date (W3CDTF): 2024
• Extent: x, 207 pages
• Size: 24 cm
• Additional Title: Apr 2024, Luxembourg, Luxembourg
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Computer logic--Congresses; Logique informatique--Congrès
• LCC: QA76.9.L63
• DDC: 005.101/5113
• NDLC: M17
• Target Audience: 一般
• Note (General): Revised selected papers
• Note (Bibliography): Includes bibliographical references and author index
• Source: SpringerLink; https://doi.org/10.1007/978-3-031-65941-6; Click here to view book; https://public.ebookcentral.proquest.com/choice/PublicFullRecord.aspx?p=31579308
• Holding library: 国立国会図書館
• Call No.: M17-25-44
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033633665; http://id.ndl.go.jp/bib/033633665
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215

• Contents: Regular Papers.Verifying Invariants by Deductive Model Checking.Time-Bounded Resilience....
• Summary, etc.: This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications...