國立高雄大學圖資館 |

Language: English

Back

Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods: foundations and applicationsedited by Lucas Lima, Vince Molnar.
Reminder of title:	25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
remainder title:	SBMF 2022
other author:	Lima, Lucas.
corporate name:
Published:	Cham :Springer International Publishing :2022.
Description:	xiv, 143 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science)
Online resource:	https://doi.org/10.1007/978-3-031-22476-8
ISBN:	9783031224768$q(electronic bk.)

Formal methods: foundations and applications25th 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] :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 ;4891..

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$q(electronic bk.)

Standard No.: 10.1007/978-3-031-22476-8doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.758

Dewey Class. No.: 004.0151

Formal methods: foundations and applications25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /
LDR:01802nmm a2200349 a 4500 001 633265
003 DE-He213
005 20221130221918.0
006 m d
007 cr nn 008maaau
008 230511s2022 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 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
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) $3 277520
700 1 $a Lima, Lucas. $3 939009
700 1 $a Molnar, Vince. $3 939010
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
856 4 0 $u https://doi.org/10.1007/978-3-031-22476-8
950 $a Computer Science (SpringerNature-11645)