國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Symbolic computation in software science/ edited by Stephen M. Watt, Tetsuo Ida.
其他題名:	10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
其他題名:	SCSS 2024
其他作者:	Watt, Stephen M.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xxv, 129 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Formal methods (Computer science) -
電子資源:	https://doi.org/10.1007/978-3-031-69042-6
ISBN:	9783031690426

Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /[electronic resource] :SCSS 2024edited by Stephen M. Watt, Tetsuo Ida. - Cham :Springer Nature Switzerland :2024. - xxv, 129 p. :ill., digital ;24 cm. - Lecture notes in computer science,149910302-9743 ;. - Lecture notes in computer science ;6140..

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.

ISBN: 9783031690426

Standard No.: 10.1007/978-3-031-69042-6doiSubjects--Topical Terms:

564790
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
LDR:01697nam a22003615a 4500 001 1134764
003 DE-He213
005 20240828130252.0
006 m d
007 cr nn 008maaau
008 241213s2024 sz s 0 eng d
020 $a 9783031690426 $q (electronic bk.)
020 $a 9783031690419 $q (paper)
024 7 $a 10.1007/978-3-031-69042-6 $2 doi
035 $a 978-3-031-69042-6
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2024
111 2 $a Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
245 1 0 $a Symbolic computation in software science $h [electronic resource] : $b 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings / $c edited by Stephen M. Watt, Tetsuo Ida.
246 3 $a SCSS 2024
260 $a Cham : $c 2024. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xxv, 129 p. : $b ill., digital ; $c 24 cm.
347 $a text file $b PDF $2 rda
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 14991
490 1 $a Lecture notes in artificial intelligence
520 $a This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.
650 0 $a Formal methods (Computer science) $3 564790
650 0 $a Computer science $x Mathematics $v Congresses. $3 528619
650 1 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Theory of Computation. $3 669322
700 1 $a Watt, Stephen M. $3 1456302
700 1 $a Ida, Tetsuo. $3 1078512
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
830 0 $a Lecture notes in artificial intelligence. $3 1208301
856 4 0 $u https://doi.org/10.1007/978-3-031-69042-6
950 $a Computer Science (SpringerNature-11645)