國立虎尾科技大學 |

Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Software Engineering and Formal Methods/ edited by Bernd-Holger Schlingloff, Ming Chai.
其他題名:	20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
其他作者:	Chai, Ming.
面頁冊數:	XVII, 369 p. 384 illus., 75 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Programming Techniques. -
電子資源:	https://doi.org/10.1007/978-3-031-17108-6
ISBN:	9783031171086

Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
Software Engineering and Formal Methods20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /[electronic resource] :edited by Bernd-Holger Schlingloff, Ming Chai. - 1st ed. 2022. - XVII, 369 p. 384 illus., 75 illus. in color.online resource. - Lecture Notes in Computer Science,135501611-3349 ;. - Lecture Notes in Computer Science,9324.

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. .

ISBN: 9783031171086

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

669781
Programming Techniques.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software Engineering and Formal Methods = 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings /
LDR:02046nam a22003975i 4500 001 1083414
003 DE-He213
005 20221212192006.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031171086 $9 978-3-031-17108-6
024 7 $a 10.1007/978-3-031-17108-6 $2 doi
035 $a 978-3-031-17108-6
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
245 1 0 $a Software Engineering and Formal Methods $h [electronic resource] : $b 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings / $c edited by Bernd-Holger Schlingloff, Ming Chai.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XVII, 369 p. 384 illus., 75 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Lecture Notes in Computer Science, $x 1611-3349 ; $v 13550
520 $a This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods. .
650 2 4 $a Programming Techniques. $3 669781
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Control Structures and Microprogramming. $3 669788
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Data Structures and Information Theory. $3 1211601
650 1 4 $a Software Engineering. $3 669632
650 0 $a Computer programming. $3 527822
650 0 $a Computer systems. $3 559862
650 0 $a Microprogramming . $3 1257366
650 0 $a Logic programming. $3 670217
650 0 $a Information theory. $3 595305
650 0 $a Data structures (Computer science). $3 680370
650 0 $a Software engineering. $3 562952
700 1 $a Chai, Ming. $e editor. $1 https://orcid.org/0000-0002-4360-3181 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1389406
700 1 $a Schlingloff, Bernd-Holger. $e editor. $1 https://orcid.org/0000-0001-9601-157X $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1389405
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031171079
776 0 8 $i Printed edition: $z 9783031171093
830 0 $a Lecture Notes in Computer Science, $x 0302-9743 ; $v 9324 $3 1258960
856 4 0 $u https://doi.org/10.1007/978-3-031-17108-6
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)