東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods: foundations and appl...

Brazilian Symposium on Formal Methods (2022 :)

Linked to FindBook

Google Book

Amazon

博客來

Formal methods: foundations and applications = 25th Brazilian Symposium, SBMF 2022, virtual event, December 6-9, 2022 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods: foundations and applications/ edited 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:	Brazilian Symposium on Formal Methods
Published:	Cham :Springer International Publishing : : 2022.,
Description:	xiv, 143 p. :ill., digital ;24 cm.
[NT 15003449]:	Invited Talks -- Model Checking and Semantics -- Generation and Synthesis -- Verification and Solvers.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	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] :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)