東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Symbolic computation in software sci...

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

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Symbolic computation in software science/ edited by Stephen M. Watt, Tetsuo Ida.
Reminder of title:	10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
remainder title:	SCSS 2024
other author:	Watt, Stephen M.
corporate name:	International Symposium on Symbolic Computation in Software Science
Published:	Cham :Springer Nature Switzerland : : 2024.,
Description:	xxv, 129 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	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)