東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods = FM 2019 Internation...

International Symposium of Formal Methods Europe (2019 :)

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Formal methods/ edited by Emil Sekerinski ... [et al.].
其他題名:	FM 2019 International Workshops : Porto, Portugal, October 7-11, 2019 : revised selected papers.
其他題名:	FM 2019
其他作者:	Sekerinski, Emil.
團體作者:	International Symposium of Formal Methods Europe
出版者:	Cham :Springer International Publishing : : 2020.,
面頁冊數:	xviii, 575 p. :ill., digital ;24 cm.
內容註:	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.
Contained By:	Springer Nature eBook
標題:	Formal methods (Computer science) - Congresses. -
電子資源:	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 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 ;12233..

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:

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 II /
LDR:03010nmm a2200373 a 4500 001 2255778
003 DE-He213
005 20200810211050.0
006 m d
007 cr nn 008maaau
008 220420s2020 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 $a International Symposium of Formal Methods Europe $n (23rd : $d 2019 : $c Porto, Portugal) $3 3414124
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) $v Congresses. $3 622707
650 1 4 $a Theory of Computation. $3 892514
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Software Engineering/Programming and Operating Systems. $3 891214
650 2 4 $a Special Purpose and Application-Based Systems. $3 892492
650 2 4 $a Computer System Implementation. $3 892710
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 12233. $3 3525504
830 0 $a Programming and software engineering. $3 3382571
856 4 0 $u https://doi.org/10.1007/978-3-030-54997-8
950 $a Computer Science (SpringerNature-11645)