語系:
繁體中文
English
說明(常見問題)
回圖書館首頁
手機版館藏查詢
登入
回首頁
到查詢結果
[ subject:"Formal methods (Computer science)" ]
切換:
標籤
|
MARC模式
|
ISBD
Formal methods: foundations and appl...
~
Brazilian Symposium on Formal Methods (2022 :)
FindBook
Google Book
Amazon
博客來
Formal methods: foundations and applications = 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
紀錄類型:
書目-電子資源 : Monograph/item
正題名/作者:
Formal methods: foundations and applications/ edited by Lucas Lima, Vince Molnar.
其他題名:
25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
其他題名:
SBMF 2022
其他作者:
Lima, Lucas.
團體作者:
Brazilian Symposium on Formal Methods
出版者:
Cham :Springer International Publishing : : 2022.,
面頁冊數:
xiv, 143 p. :ill., digital ;24 cm.
內容註:
Invited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers.
Contained By:
Springer Nature eBook
標題:
Formal methods (Computer science) - Congresses. -
電子資源:
https://doi.org/10.1007/978-3-031-22476-8
ISBN:
9783031224768
Formal methods: foundations and applications = 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
Formal methods: foundations and applications
25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /[electronic resource] :SBMF 2022edited by Lucas Lima, Vince Molnar. - Cham :Springer International Publishing :2022. - xiv, 143 p. :ill., digital ;24 cm. - Lecture notes in computer science,137680302-9743 ;. - Lecture notes in computer science ;13768..
Invited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers.
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
ISBN: 9783031224768
Standard No.: 10.1007/978-3-031-22476-8doiSubjects--Topical Terms:
622707
Formal methods (Computer science)
--Congresses.
LC Class. No.: QA76.758
Dewey Class. No.: 004.0151
Formal methods: foundations and applications = 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
LDR
:01802nmm a2200349 a 4500
001
2305552
003
DE-He213
005
20221130221918.0
006
m d
007
cr nn 008maaau
008
230409s2022 sz s 0 eng d
020
$a
9783031224768
$q
(electronic bk.)
020
$a
9783031224751
$q
(paper)
024
7
$a
10.1007/978-3-031-22476-8
$2
doi
035
$a
978-3-031-22476-8
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
072
7
$a
UMZ
$2
thema
082
0 4
$a
004.0151
$2
23
090
$a
QA76.758
$b
.B827 2022
111
2
$a
Brazilian Symposium on Formal Methods
$n
(25th :
$d
2022 :
$c
Online)
$3
3608737
245
1 0
$a
Formal methods: foundations and applications
$h
[electronic resource] :
$b
25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
$c
edited by Lucas Lima, Vince Molnar.
246
3
$a
SBMF 2022
260
$a
Cham :
$b
Springer International Publishing :
$b
Imprint: Springer,
$c
2022.
300
$a
xiv, 143 p. :
$b
ill., digital ;
$c
24 cm.
490
1
$a
Lecture notes in computer science,
$x
0302-9743 ;
$v
13768
505
0
$a
Invited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers.
520
$a
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
650
0
$a
Formal methods (Computer science)
$v
Congresses.
$3
622707
700
1
$a
Lima, Lucas.
$3
3608738
700
1
$a
Molnar, Vince.
$3
3608739
710
2
$a
SpringerLink (Online service)
$3
836513
773
0
$t
Springer Nature eBook
830
0
$a
Lecture notes in computer science ;
$v
13768.
$3
3608740
856
4 0
$u
https://doi.org/10.1007/978-3-031-22476-8
950
$a
Computer Science (SpringerNature-11645)
筆 0 讀者評論
館藏地:
全部
電子資源
出版年:
卷號:
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
W9447101
電子資源
11.線上閱覽_V
電子書
EB QA76.758
一般使用(Normal)
在架
0
1 筆 • 頁數 1 •
1
多媒體
評論
新增評論
分享你的心得
Export
取書館
處理中
...
變更密碼
登入