國立高雄大學圖資館 |

Language: English

Back

Formal methods and software engineer...

(1998 :)

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods and software engineeringedited by Jing Sun, Meng Sun.
Reminder of title:	20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
remainder title:	ICFEM 2018
other author:	Sun, Jing.
corporate name:
Published:	Cham :Springer International Publishing :2018.
Description:	xxii, 474 p. :ill., digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science)
Online resource:	https://doi.org/10.1007/978-3-030-02450-5
ISBN:	9783030024505$q(electronic bk.)

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /[electronic resource] :ICFEM 2018edited by Jing Sun, Meng Sun. - Cham :Springer International Publishing :2018. - xxii, 474 p. :ill., digital ;24 cm. - Lecture notes in computer science,112320302-9743 ;. - Lecture notes in computer science ;4891..

Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

ISBN: 9783030024505$q(electronic bk.)

Standard No.: 10.1007/978-3-030-02450-5doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal methods and software engineering20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings /
LDR:02002nmm a2200361 a 4500 001 545643
003 DE-He213
005 20181024185141.0
006 m d
007 cr nn 008maaau
008 190530s2018 gw s 0 eng d
020 $a 9783030024505$q(electronic bk.)
020 $a 9783030024499$q(paper)
024 7 $a 10.1007/978-3-030-02450-5 $2 doi
035 $a 978-3-030-02450-5
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
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.9.F67 $b I61 2018
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal methods and software engineering $h [electronic resource] : $b 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018 : proceedings / $c edited by Jing Sun, Meng Sun.
246 3 $a ICFEM 2018
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xxii, 474 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11232
490 1 $a Programming and software engineering
505 0 $a Formal methods -- Verification -- Network systems -- Type theory -- Theorem proving -- Logic and semantics -- Refinement and transition systems -- Emerging applications of formal methods -- Doctoral symposium.
520 $a This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
650 0 $a Formal methods (Computer science) $3 277520
650 0 $a Software engineering $3 253562
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Logics and Meanings of Programs. $3 275357
650 2 4 $a System Performance and Evaluation. $3 273898
650 2 4 $a The Computing Profession. $3 275271
650 2 4 $a Mathematical Logic and Formal Languages. $3 275383
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
700 1 $a Sun, Jing. $3 633617
700 1 $a Sun, Meng. $3 824630
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Programming and software engineering. $3 821998
856 4 0 $u https://doi.org/10.1007/978-3-030-02450-5
950 $a Computer Science (Springer-11645)