東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Dependable software engineering = th...

SETTA (Symposium) (2017 :)

FindBook

Google Book

Amazon

博客來

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Dependable software engineering/ edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
其他題名:	theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
其他題名:	SETTA 2017
其他作者:	Larsen, Kim Guldstrand.
團體作者:	SETTA (Symposium)
出版者:	Cham :Springer International Publishing : : 2017.,
面頁冊數:	xviii, 351 p. :ill., digital ;24 cm.
內容註:	Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification -- Formalization -- Tools.
Contained By:	Springer eBooks
標題:	Software engineering - Congresses. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-69483-2
ISBN:	9783319694832

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
Dependable software engineeringtheories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /[electronic resource] :SETTA 2017edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang. - Cham :Springer International Publishing :2017. - xviii, 351 p. :ill., digital ;24 cm. - Lecture notes in computer science,106060302-9743 ;. - Lecture notes in computer science ;10606..

Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification -- Formalization -- Tools.

This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.

ISBN: 9783319694832

Standard No.: 10.1007/978-3-319-69483-2doiSubjects--Topical Terms:

696781
Software engineering
--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Dependable software engineering = theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
LDR:01918nmm a2200337 a 4500 001 2110814
003 DE-He213
005 20171016231801.0
006 m d
007 cr nn 008maaau
008 180619s2017 gw s 0 eng d
020 $a 9783319694832 $q (electronic bk.)
020 $a 9783319694825 $q (paper)
024 7 $a 10.1007/978-3-319-69483-2 $2 doi
035 $a 978-3-319-69483-2
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S495 2017
111 2 $a SETTA (Symposium) $n (3rd : $d 2017 : $c Changsha Shi, China) $3 3264277
245 1 0 $a Dependable software engineering $h [electronic resource] : $b theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings / $c edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
246 3 $a SETTA 2017
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2017.
300 $a xviii, 351 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 10606
505 0 $a Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification -- Formalization -- Tools.
520 $a This book constitutes the proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2017, held in Changsha, China, in October 2017. The 19 full papers presented together with 3 invited talks were carefully reviewed and selected from 31 submissions. The aim of the symposium is to bring together international researchers and practitioners in the field of software technology. Its focus is on probabilistic and statistical analysis; timed and hybrid systems; program analysis; modeling and verification; formalization; and tools.
650 0 $a Software engineering $x Congresses. $3 696781
650 1 4 $a Computer Science. $3 626642
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Logics and Meanings of Programs. $3 892495
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Simulation and Modeling. $3 890873
650 2 4 $a Probability and Statistics in Computer Science. $3 891072
700 1 $a Larsen, Kim Guldstrand. $3 1072780
700 1 $a Sokolsky, Oleg. $3 1085646
700 1 $a Wang, Ji. $3 1285512
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 10606. $3 3264278
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-69483-2
950 $a Computer Science (Springer-11645)