Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings : SCSS meetings : Aug 2024, Tokyo, Japan

• Material Type: 図書
• ISBN: 3031690419; 9783031690419; 9783031690426 (electronic bk.); 3031690427 (electronic bk.)
• ISSN (series): 0302-9743
• Title: Symbolic computation in software science : 10th international symposium, SCSS 2024 : Tokyo, Japan, August 28-30, 2024 : proceedings : SCSS meetings : Aug 2024, Tokyo, Japan
• Series Title: Lecture Notes in Computer Science ; 14991. Lecture Notes in Artificial Intelligence
• Author Heading: International Symposium on Symbolic Computation in Software Science (10th : 2024 : Tokyo, Japan); Watt, Stephen M.; Ida, Tetsuo
• Publication, Distribution, etc.: Cham : Springer (出版)
• Publication Date: [2024]
• Publication Date (W3CDTF): 2024
• Extent: xviii, 128 pages
• Size: 24 cm
• Place of Publication (Country Code): CH
• Text Language Code: eng
• Content Type: text
• Media Type: unmediated
• Carrier Type: volume
• Subject Heading: Formal methods (Computer science)--Congresses; Computer science--Mathematics--Congresses; Méthodes formelles (Informatique)--Congrès; Informatique--Mathématiques--Congrès
• LCC: QA76.9.F67
• DDC: 004.01/51
• NDLC: M17
• Target Audience: 一般
• Note (General): Abstracts and papers
• Note (Bibliography): Includes bibliographical references and author index
• Source: SpringerLink; https://doi.org/10.1007/978-3-031-69042-6; Click here to view book; https://public.ebookcentral.proquest.com/choice/PublicFullRecord.aspx?p=31622058
• Holding library: 国立国会図書館
• Call No.: M17-25-49
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 033669134; http://id.ndl.go.jp/bib/033669134
• Cataloging Rule: RDA
• Bibliographic Record Category (NDL): 215

• Summary, etc.: This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took ...