|
|
|
|
| LEADER |
04249cam a2200841 i 4500 |
| 001 |
1356407886 |
| 003 |
OCoLC |
| 005 |
20230328213020.0 |
| 006 |
m o d |
| 007 |
cr cnu|||unuuu |
| 008 |
221228s2022 sz a ob 101 0 eng d |
| 019 |
|
|
|a 1354632057
|a 1355222146
|
| 020 |
|
|
|a 9783031212130
|q (electronic bk.)
|
| 020 |
|
|
|a 3031212134
|q (electronic bk.)
|
| 020 |
|
|
|z 9783031212123
|
| 020 |
|
|
|z 3031212126
|
| 024 |
7 |
|
|a 10.1007/978-3-031-21213-0
|2 doi
|
| 035 |
|
|
|a (OCoLC)1356407886
|z (OCoLC)1354632057
|z (OCoLC)1355222146
|
| 040 |
|
|
|a GW5XE
|b eng
|e rda
|e pn
|c GW5XE
|d YDX
|d EBLCP
|d OCLCQ
|d BRX
|d UKAHL
|
| 049 |
|
|
|a COM6
|
| 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/eng/20221228
|
| 111 |
2 |
|
|a SETTA (Symposium)
|n (8th :
|d 2022 :
|c Beijing, China).
|
| 245 |
1 |
0 |
|a Dependable software engineering :
|b theories, tools, and applications : 8th International Symposium, SETTA 2022, Beijing, China, October 24-28, 2022, proceedings /
|c Wei Dong, Jean-Pierre Talpin (eds.).
|
| 246 |
3 |
0 |
|a SETTA 2022.
|
| 264 |
|
1 |
|a Cham :
|b Springer,
|c [2022]
|
| 264 |
|
4 |
|c ©2022.
|
| 300 |
|
|
|a 1 online resource (xxii, 235 pages) :
|b illustrations (chiefly color).
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent.
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia.
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier.
|
| 490 |
1 |
|
|a Lecture notes in computer science,
|x 1611-3349 ;
|v 13649.
|
| 500 |
|
|
|a International conference proceedings.
|
| 504 |
|
|
|a Includes bibliographical references and author index.
|
| 520 |
|
|
|a This book constitutes the proceedings of the 8th International Symposium on Dependable Software Engineering, SETTA 2022, held in Beijing, China, in October 2022. The 11 full papers and 3 short papers in this volume were carefully reviewed and selected from 29 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.
|
| 505 |
0 |
|
|a Verification and Testing for Machine Learning -- Dependable Software Development -- Dependable CPS and concurrent systems -- Theorem Proving and SAT.
|
| 588 |
0 |
|
|a Online resource; title from PDF title page (SpringerLink, viewed December 28, 2022).
|
| 650 |
|
0 |
|a Software engineering
|v Congresses.
|
| 650 |
|
0 |
|a Formal methods (Computer science)
|v Congresses.
|
| 650 |
|
7 |
|a Formal methods (Computer science)
|2 fast.
|
| 650 |
|
7 |
|a Software engineering.
|2 fast.
|
| 655 |
|
0 |
|a Electronic books.
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 fast.
|
| 655 |
|
7 |
|a Conference papers and proceedings.
|2 lcgft.
|
| 700 |
1 |
|
|a Dong, Wei,
|e editor.
|
| 700 |
1 |
|
|a Talpin, Jean-Pierre
|1 https://isni.org/isni/0000000123785427,
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 776 |
0 |
8 |
|c Original
|z 3031212126
|z 9783031212123
|w (OCoLC)1347696645.
|
| 830 |
|
0 |
|a Lecture notes in computer science ;
|v 13649.
|x 1611-3349.
|
| 907 |
|
|
|a .b66303424
|b multi
|c -
|d 230413
|e 240401
|
| 998 |
|
|
|a (2)cue
|a cu
|b 240227
|c m
|d z
|e -
|f eng
|g sz
|h 0
|i 2
|
| 948 |
|
|
|a MARCIVE Overnight, in 2024.03
|
| 948 |
|
|
|a MARCIVE Comprehensive, in 2024.03
|
| 948 |
|
|
|a MARCIVE Comprehensive, in 2023.12
|
| 948 |
|
|
|a MARCIVE Comprehensive, in 2023.05
|
| 933 |
|
|
|a Marcive found multi matches on:"700 1
|a Dong, Wei,
|e editor."
|
| 933 |
|
|
|a Marcive found multi matches on:"111 2
|a SETTA (Symposium)
|n (8th :
|d 2022 :
|c Beijing, China)."
|
| 994 |
|
|
|a 92
|b COM
|
| 995 |
|
|
|a Loaded with m2btab.ltiac in 2024.03
|
| 995 |
|
|
|a Loaded with m2btab.ltiac in 2024.03
|
| 995 |
|
|
|a Loaded with m2btab.elec in 2024.02
|
| 995 |
|
|
|a Loaded with m2btab.ltiac in 2023.12
|
| 995 |
|
|
|a Loaded with m2btab.ltiac in 2023.05
|
| 995 |
|
|
|a Loaded with m2btab.elec in 2023.04
|
| 995 |
|
|
|a Loaded with m2btab.auth in 2023.05
|
| 995 |
|
|
|a Loaded with m2btab.auth in 2023.05
|
| 995 |
|
|
|a Loaded with m2btab.auth in 2024.03
|
| 999 |
|
|
|e z
|
| 999 |
|
|
|a cue
|
| 989 |
|
|
|d cueme
|e - -
|f - -
|g -
|h 0
|i 0
|j 200
|k 240227
|l $0.00
|m
|n - -
|o -
|p 0
|q 0
|t 0
|x 0
|w SpringerLink
|1 .i150827830
|u http://ezproxy.coloradomesa.edu/login?url=https://link.springer.com/10.1007/978-3-031-21213-0
|3 SpringerLink
|z Click here for access
|