東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods teaching = 5th Intern...

Dubois, Catherine.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods teaching/ edited by Catherine Dubois, Pierluigi San Pietro.
Reminder of title:	5th International Workshop, FMTea 2023, Lubeck, Germany, March 6, 2023 : proceedings /
remainder title:	FMTea 2023
other author:	Dubois, Catherine.
corporate name:	Formal Methods Teaching Workshop and Tutorial
Published:	Cham :Springer Nature Switzerland : : 2023.,
Description:	ix, 105 p. :ill. (some col.), digital ;24 cm.
[NT 15003449]:	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
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	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)