國立高雄大學圖資館 |

Language: English

Back

Integrated formal methods15th Intern...

(1998 :)

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Integrated formal methodsedited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
Reminder of title:	15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
remainder title:	IFM 2019
other author:	Ahrendt, Wolfgang.
corporate name:
Published:	Cham :Springer International Publishing :2019.
Description:	xvii, 554 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Formal methods (Computer science)
Online resource:	https://doi.org/10.1007/978-3-030-34968-4
ISBN:	9783030349684$q(electronic bk.)

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /[electronic resource] :IFM 2019edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa. - Cham :Springer International Publishing :2019. - xvii, 554 p. :ill. (some col.), digital ;24 cm. - Lecture notes in computer science,119180302-9743 ;. - Lecture notes in computer science ;4891..

This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.

ISBN: 9783030349684$q(electronic bk.)

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

277520
Formal methods (Computer science)

LC Class. No.: QA76.758 / .I57 2019

Dewey Class. No.: 005.1

Integrated formal methods15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings /
LDR:01791nmm a2200349 a 4500 001 569398
003 DE-He213
005 20191114161125.0
006 m d
007 cr nn 008maaau
008 200723s2019 gw s 0 eng d
020 $a 9783030349684$q(electronic bk.)
020 $a 9783030349677$q(paper)
024 7 $a 10.1007/978-3-030-34968-4 $2 doi
035 $a 978-3-030-34968-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758 $b .I57 2019
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
072 7 $a UMZ $2 thema
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .I61 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Integrated formal methods $h [electronic resource] : $b 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019 : proceedings / $c edited by Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa.
246 3 $a IFM 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2019.
300 $a xvii, 554 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 11918
490 1 $a Programming and software engineering
520 $a This book constitutes the refereed proceedings of the 15th International Conference on Integrated Formal Methods, IFM 2019, held in Bergen, Norway, in December 2019. The 25 full papers and 3 short papers were carefully reviewed and selected from 95 submissions. The papers cover a broad spectrum of topics: from language design to verification and analysis techniques, to supporting tools and their integration into software engineering practice including both theoretical approaches and practical implementations. Also included are the extended abstracts of 6 "journal-first" papers.
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Software Engineering. $3 274511
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 274102
650 2 4 $a Theory of Computation. $3 274475
650 2 4 $a Logic in AI. $3 836108
650 2 4 $a Simulation and Modeling. $3 273719
650 2 4 $a Computer Systems Organization and Communication Networks. $3 273709
700 1 $a Ahrendt, Wolfgang. $3 764266
700 1 $a Tapia Tarifa, Silvia Lizeth. $3 855357
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-34968-4
950 $a Computer Science (Springer-11645)