國立高雄大學圖資館 |

Language: English

Back

Formal methodsFM 2019 International ...

(1998 :)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methodsedited by Emil Sekerinski ... [et al.].
Reminder of title:	FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.
remainder title:	FM 2019
other author:	Sekerinski, Emil.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xviii, 575 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science)
Online resource:	https://doi.org/10.1007/978-3-030-54997-8
ISBN:	9783030549978$q(electronic bk.)

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II /
Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II /[electronic resource] :FM 2019edited by Emil Sekerinski ... [et al.]. - Cham :Springer International Publishing :2020. - xviii, 575 p. :ill., digital ;24 cm. - Lecture notes in computer science,122330302-9743 ;. - Lecture notes in computer science ;4891..

HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.

This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.

ISBN: 9783030549978$q(electronic bk.)

Standard No.: 10.1007/978-3-030-54997-8doiSubjects--Topical Terms:

277520
Formal methods (Computer science)

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal methodsFM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.Part II /
LDR:03010nmm a2200373 a 4500 001 585133
003 DE-He213
005 20200810211050.0
006 m d
007 cr nn 008maaau
008 210311s2020 sz s 0 eng d
020 $a 9783030549978$q(electronic bk.)
020 $a 9783030549961$q(paper)
024 7 $a 10.1007/978-3-030-54997-8 $2 doi
035 $a 978-3-030-54997-8
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.9.F67
072 7 $a UY $2 bicssc
072 7 $a COM014000 $2 bisacsh
072 7 $a UY $2 thema
072 7 $a UYA $2 thema
082 0 4 $a 004.0151 $2 23
090 $a QA76.9.F67 $b I61 2019
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Formal methods $h [electronic resource] : $b FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers. $n Part II / $c edited by Emil Sekerinski ... [et al.].
246 3 $a FM 2019
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xviii, 575 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12233
490 1 $a Programming and software engineering
505 0 $a HFM 2019: First History of Formal Methods Workshop -- NSAD 2019: 8th International Workshop on Numerical and Symbolic Abstract Domains -- OpenCERT 2019: 9th International Workshop on Open Community Approaches to Education, Research and Technology -- Overture 2019: 17th Overture Workshop -- Refine 2019: 19th Refinement Workshop -- RPLA 2019: First International Workshop on Reversibility in Programming, Languages, and Automata -- SASB 2019: 10th International Workshop on Static Analysis and Systems Biology -- TAPAS 2019: 10th Workshop on Tools for Automatic Program Analysis.
520 $a This book constitutes the refereed proceedings of the workshops which complemented the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in October 2019. This volume presents the papers that have been accepted for the following workshops: Third Workshop on Practical Formal Verification for Software Dependability, AFFORD 2019; 8th International Symposium From Data to Models and Back, DataMod 2019; First Formal Methods for Autonomous Systems Workshop, FMAS 2019; First Workshop on Formal Methods for Blockchains, FMBC 2019; 8th International Workshop on Formal Methods for Interactive Systems, FMIS 2019; First History of Formal Methods Workshop, HFM 2019; 8th International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2019; 9th International Workshop on Open Community Approaches to Education, Research and Technology, OpenCERT 2019; 17th Overture Workshop, Overture 2019; 19th Refinement Workshop, Refine 2019; First International Workshop on Reversibility in Programming, Languages, and Automata, RPLA 2019; 10th International Workshop on Static Analysis and Systems Biology, SASB 2019; and the 10th Workshop on Tools for Automatic Program Analysis, TAPAS 2019.
650 0 $a Formal methods (Computer science) $3 277520
650 1 4 $a Theory of Computation. $3 274475
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 273711
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Computer Applications. $3 273760
700 1 $a Sekerinski, Emil. $3 279718
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
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-54997-8
950 $a Computer Science (SpringerNature-11645)