國立虎尾科技大學 |

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal Methods. FM 2019 International Workshops/ edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
其他題名:	Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
其他作者:	Sekerinski, Emil.
面頁冊數:	XVIII, 575 p. 605 illus., 85 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Computers. -
電子資源:	https://doi.org/10.1007/978-3-030-54997-8
ISBN:	9783030549978

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
Formal Methods. FM 2019 International WorkshopsPorto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /[electronic resource] :edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas. - 1st ed. 2020. - XVIII, 575 p. 605 illus., 85 illus. in color.online resource. - Programming and Software Engineering ;12233. - Programming and Software Engineering ;8987.

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

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

565115
Computers.

LC Class. No.: QA75.5-76.95

Dewey Class. No.: 004.0151

Formal Methods. FM 2019 International Workshops = Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II /
LDR:03539nam a22004335i 4500 001 1030149
003 DE-He213
005 20201201192903.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030549978 $9 978-3-030-54997-8
024 7 $a 10.1007/978-3-030-54997-8 $2 doi
035 $a 978-3-030-54997-8
050 4 $a QA75.5-76.95
050 4 $a QA76.63
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
245 1 0 $a Formal Methods. FM 2019 International Workshops $h [electronic resource] : $b Porto, Portugal, October 7–11, 2019, Revised Selected Papers, Part II / $c edited by Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XVIII, 575 p. 605 illus., 85 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Programming and Software Engineering ; $v 12233
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 Computers. $3 565115
650 0 $a Artificial intelligence. $3 559380
650 0 $a Software engineering. $3 562952
650 0 $a Special purpose computers. $3 1204562
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Application software. $3 528147
650 1 4 $a Theory of Computation. $3 669322
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 669780
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer System Implementation. $3 669803
650 2 4 $a Computer Applications. $3 669785
700 1 $a Sekerinski, Emil. $e editor. $1 https://orcid.org/0000-0001-9788-5842 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319268
700 1 $a Moreira, Nelma. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883564
700 1 $a Oliveira, José N. $e editor. $1 https://orcid.org/0000-0002-0196-4229 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1297366
700 1 $a Ratiu, Daniel. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319269
700 1 $a Guidotti, Riccardo. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1197115
700 1 $a Farrell, Marie. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319270
700 1 $a Luckcuck, Matt. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319271
700 1 $a Marmsoler, Diego. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319272
700 1 $a Campos, José. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319273
700 1 $a Astarte, Troy. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319274
700 1 $a Gonnord, Laure. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319275
700 1 $a Cerone, Antonio. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 796237
700 1 $a Couto, Luis. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319276
700 1 $a Dongol, Brijesh. $e editor. $1 https://orcid.org/0000-0003-0446-3507 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1306645
700 1 $a Kutrib, Martin. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 786273
700 1 $a Monteiro, Pedro. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319277
700 1 $a Delmas, David. $e editor. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1319278
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030549961
776 0 8 $i Printed edition: $z 9783030549985
830 0 $a Programming and Software Engineering ; $v 8987 $3 1253476
856 4 0 $u https://doi.org/10.1007/978-3-030-54997-8
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)