國立虎尾科技大學 |

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 Molnár.
其他題名:	25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
其他作者:	Lima, Lucas.
面頁冊數:	XIV, 143 p. 36 illus., 20 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Software engineering. -
電子資源:	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 Applications25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /[electronic resource] :edited by Lucas Lima, Vince Molnár. - 1st ed. 2022. - XIV, 143 p. 36 illus., 20 illus. in color.online resource. - Lecture Notes in Computer Science,137681611-3349 ;. - Lecture Notes in Computer Science,9324.

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:

562952
Software engineering.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Formal Methods: Foundations and Applications = 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings /
LDR:02133nam a22004095i 4500 001 1086044
003 DE-He213
005 20221130221918.0
007 cr nn 008mamaa
008 221228s2022 sz | s |||| 0|eng d
020 $a 9783031224768 $9 978-3-031-22476-8
024 7 $a 10.1007/978-3-031-22476-8 $2 doi
035 $a 978-3-031-22476-8
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 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 Molnár.
250 $a 1st ed. 2022.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2022.
300 $a XIV, 143 p. 36 illus., 20 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 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 Software engineering. $3 562952
650 0 $a Natural language processing (Computer science). $3 802180
650 0 $a Logic programming. $3 670217
650 0 $a Computer science. $3 573171
650 0 $a Computers, Special purpose. $3 1069426
650 0 $a Computer networks . $3 1365720
650 1 4 $a Software Engineering. $3 669632
650 2 4 $a Natural Language Processing (NLP). $3 1254293
650 2 4 $a Logic in AI. $3 1228083
650 2 4 $a Theory of Computation. $3 669322
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer Communication Networks. $3 669310
700 1 $a Lima, Lucas. $e editor. $1 https://orcid.org/0000-0003-1859-8437 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1392684
700 1 $a Molnár, Vince. $e editor. $1 https://orcid.org/0000-0002-8204-7595 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1392685
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783031224751
776 0 8 $i Printed edition: $z 9783031224775
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-22476-8
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)