東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁 到查詢結果 [ subject:"Logic in AI." ]

切換: 標籤 | MARC模式 | ISBD

Formal methods teaching = third Inte...

FMTea (Workshop) (2019 :)

FindBook

Google Book

Amazon

博客來

Formal methods teaching = third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal methods teaching/ edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
其他題名:	third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
其他題名:	FMTea 2019
其他作者:	Dongol, Brijesh.
團體作者:	FMTea (Workshop)
出版者:	Cham :Springer International Publishing : : 2019.,
面頁冊數:	xvi, 245 p. :ill. (some col.), digital ;24 cm.
內容註:	Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.
Contained By:	Springer eBooks
標題:	Formal methods (Computer science) - Congresses. -
電子資源:	https://doi.org/10.1007/978-3-030-32441-4
ISBN:	9783030324414

Formal methods teaching = third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
Formal methods teachingthird International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /[electronic resource] :FMTea 2019edited by Brijesh Dongol, Luigia Petre, Graeme Smith. - Cham :Springer International Publishing :2019. - xvi, 245 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,0302-9743. - Lecture notes in computer science.

Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.

ISBN: 9783030324414

Standard No.: 10.1007/978-3-030-32441-4doiSubjects--Topical Terms:

622707
Formal methods (Computer science)
--Congresses.

LC Class. No.: QA76.9.F67 / F57 2019

Dewey Class. No.: 004.151

Formal methods teaching = third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings /
LDR:01952nmm a2200373 a 4500 001 2193174
003 DE-He213
005 20190920054107.0
006 m d
007 cr nn 008maaau
008 200514s2019 gw s 0 eng d
020 $a 9783030324414 $q (electronic bk.)
020 $a 9783030324407 $q (paper)
024 7 $a 10.1007/978-3-030-32441-4 $2 doi
035 $a 978-3-030-32441-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67 $b F57 2019
072 7 $a UYA $2 bicssc
072 7 $a MAT018000 $2 bisacsh
072 7 $a UYA $2 thema
082 0 4 $a 004.151 $2 23
090 $a QA76.9.F67 $b F648 2019
111 2 $a FMTea (Workshop) $n (3rd : $d 2019 : $c Porto, Portugal) $3 3414134
245 1 0 $a Formal methods teaching $h [electronic resource] : $b third International Workshop and Tutorial, FMTea 2019, held as part of the third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings / $c edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
246 3 $a FMTea 2019
246 3 $a FM 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xvi, 245 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743
490 1 $a Theoretical computer science and general issues ; $v 11758
505 0 $a Tutorial lectures -- Teaching Program Verification -- Teaching Program Development -- Effective Teaching Techniques.
520 $a This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.
650 0 $a Formal methods (Computer science) $v Congresses. $3 622707
650 1 4 $a Mathematical Logic and Formal Languages. $3 892517
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 891123
650 2 4 $a Software Engineering. $3 890874
650 2 4 $a Logic in AI. $3 3386372
650 2 4 $a Algorithm Analysis and Problem Complexity. $3 891007
700 1 $a Dongol, Brijesh. $3 3414135
700 1 $a Petre, Luigia. $3 1073127
700 1 $a Smith, Graeme. $3 2107533
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a International Symposium of Formal Methods Europe $n (3rd : $d 2019 : $c Porto, Portugal) $3 3414138
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science $3 3414136
830 0 $a Theoretical computer science and general issues ; $v 11758. $3 3414137
856 4 0 $u https://doi.org/10.1007/978-3-030-32441-4
950 $a Computer Science (Springer-11645)