東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ 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 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)