東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods = FM 2019 Internation...

World Congress on Formal Methods (2019 :)

Linked to FindBook

Google Book

Amazon

博客來

Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part I /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Formal methods/ edited 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:	World Congress on Formal Methods
Published:	Cham :Springer International Publishing : : 2020.,
Description:	xviii, 523 p. :ill., digital ;24 cm.
[NT 15003449]:	AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
Contained By:	Springer Nature eBook
Subject:	Formal methods (Computer science) - Congresses. -
Online resource:	https://doi.org/10.1007/978-3-030-54994-7
ISBN:	9783030549947

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

AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.

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: 9783030549947

Standard No.: 10.1007/978-3-030-54994-7doiSubjects--Topical Terms:

622707
Formal methods (Computer science)
--Congresses.

LC Class. No.: QA76.9.F67

Dewey Class. No.: 004.0151

Formal methods = FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.. Part I /
LDR:02781nmm a2200361 a 4500 001 2255796
003 DE-He213
005 20200812215653.0
006 m d
007 cr nn 008maaau
008 220420s2020 sz s 0 eng d
020 $a 9783030549947 $q (electronic bk.)
020 $a 9783030549930 $q (paper)
024 7 $a 10.1007/978-3-030-54994-7 $2 doi
035 $a 978-3-030-54994-7
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 W927 2019
111 2 $a World Congress on Formal Methods $n (3rd : $d 2019 : $c Porto, Portugal) $3 3525544
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 I / $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, 523 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12232
490 1 $a Programming and software engineering
505 0 $a AFFORD 2019: Third Workshop on Practical Formal Verification for Software Dependability -- DataMod 2019: 8th International Symposium From Data to Models and Back -- FMAS 2019: First Formal Methods for Autonomous Systems Workshop -- FMBC 2019: First Workshop on Formal Methods for Blockchains -- FMIS 2019: 8th International Workshop on Formal Methods for Interactive Systems.
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) $v Congresses. $3 622707
650 1 4 $a Software Engineering. $3 890874
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Theory of Computation. $3 892514
650 2 4 $a Computer System Implementation. $3 892710
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Computer Applications. $3 891249
700 1 $a Sekerinski, Emil. $3 2088857
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 12232. $3 3525545
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-54994-7
950 $a Computer Science (SpringerNature-11645)