東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods teaching = 5th Intern...

Dubois, Catherine.

FindBook

Google Book

Amazon

博客來

Formal methods teaching = 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal methods teaching/ edited by Catherine Dubois, Pierluigi San Pietro.
其他題名:	5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
其他題名:	FMTea 2023
其他作者:	Dubois, Catherine.
團體作者:	Formal Methods Teaching Workshop and Tutorial
出版者:	Cham :Springer Nature Switzerland : : 2023.,
面頁冊數:	ix, 105 p. :ill. (some col.), digital ;24 cm.
內容註:	Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets.
Contained By:	Springer Nature eBook
標題:	Formal methods (Computer science) - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-031-27534-0
ISBN:	9783031275340

Formal methods teaching = 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
Formal methods teaching5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /[electronic resource] :FMTea 2023edited by Catherine Dubois, Pierluigi San Pietro. - Cham :Springer Nature Switzerland :2023. - ix, 105 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,139620302-9743 ;. - Lecture notes in computer science ;13962..

Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets.

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

ISBN: 9783031275340

Standard No.: 10.1007/978-3-031-27534-0doiSubjects--Topical Terms:

622707
Formal methods (Computer science)
--Congresses.

LC Class. No.: QA76.9.F67 / F67 2023

Dewey Class. No.: 004.151

Formal methods teaching = 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
LDR:02025nmm a2200373 a 4500 001 2315699
003 DE-He213
005 20230224005042.0
006 m d
007 cr nn 008maaau
008 230902s2023 sz s 0 eng d
020 $a 9783031275340 $q (electronic bk.)
020 $a 9783031275333 $q (paper)
024 7 $a 10.1007/978-3-031-27534-0 $2 doi
035 $a 978-3-031-27534-0
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67 $b F67 2023
072 7 $a PBCD $2 bicssc
072 7 $a PBC $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a PBCD $2 thema
072 7 $a PBC $2 thema
082 0 4 $a 004.151 $2 23
090 $a QA76.9.F67 $b F723 2023
111 2 $a Formal Methods Teaching Workshop and Tutorial $n (5th : $d 2023 : $c Lubeck, Germany) $3 3628294
245 1 0 $a Formal methods teaching $h [electronic resource] : $b 5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings / $c edited by Catherine Dubois, Pierluigi San Pietro.
246 3 $a FMTea 2023
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2023.
300 $a ix, 105 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 13962
505 0 $a Automated Exercise Generation for Satisfiability Checking -- Graphical Loop Invariant Based Programming -- A Gentle Introduction to Verification of Parameterized Reactive Systems -- Model Checking Concurrent Programs for Autograding in pseuCo Book -- Teaching TLA+ to Engineers at Microsoft -- Teaching and Training in Formalisation with B -- Teaching low-code Formal Methods with Coloured Petri Nets.
520 $a This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023. The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 1 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Natural Language Processing (NLP) $3 3381674
650 2 4 $a Computer Application in Social and Behavioral Sciences. $3 3538516
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Control Structures and Microprogramming. $3 895886
700 1 $a Dubois, Catherine. $3 3628295
700 1 $a San Pietro, Pierluigi. $3 3628296
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 13962. $3 3628297
856 4 0 $u https://doi.org/10.1007/978-3-031-27534-0
950 $a Computer Science (SpringerNature-11645)