東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Dependable software engineering = th...

SETTA (Symposium) (2017 :)

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Dependable software engineering/ edited by Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang.
Reminder of title:	theories, tools, and applications : third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017 : proceedings /
remainder title:	SETTA 2017
other author:	Larsen, Kim Guldstrand.
corporate name:	SETTA (Symposium)
Published:	Cham :Springer International Publishing : : 2017.,
Description:	xviii, 351 p. :ill., digital ;24 cm.
[NT 15003449]:	Probabilistic and Statistical Analysis -- Timed and Hybrid Systems -- Program Analysis -- Modeling and Verification -- Formalization -- Tools.
Contained By:	Springer eBooks
Subject:	Software engineering - Congresses. -
Online resource:	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)