東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Symbolic computation in software sci...

International Symposium on Symbolic Computation in Software Science (2024 :)

FindBook

Google Book

Amazon

博客來

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.
團體作者:	International Symposium on Symbolic Computation in Software Science
出版者:	Cham :Springer Nature Switzerland : : 2024.,
面頁冊數:	xxv, 129 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
標題:	Formal methods (Computer science) - Congresses. -
電子資源:	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 ;14991..

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:

622707
Formal methods (Computer science)
--Congresses.

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:01697nmm a22003615a 4500 001 2388006
003 DE-He213
005 20240828130252.0
006 m d
007 cr nn 008maaau
008 250916s2024 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 International Symposium on Symbolic Computation in Software Science $n (10th : $d 2024 : $c Tokyo, Japan) $3 3752817
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
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) $v Congresses. $3 622707
650 0 $a Computer science $x Mathematics $x Congresses. $3 678603
650 1 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Theory of Computation. $3 892514
700 1 $a Watt, Stephen M. $3 2071711
700 1 $a Ida, Tetsuo. $3 3525438
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 14991. $3 3752818
830 0 $a Lecture notes in artificial intelligence. $3 3382562
856 4 0 $u https://doi.org/10.1007/978-3-031-69042-6
950 $a Computer Science (SpringerNature-11645)