Cover Image
Read Now

Formal Methods and Software Engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected fro...

Full description

Bibliographic Details
Other Authors: Lin, Shang-Wei (Editor), Hou, Zhe (Editor), Mahony, Brendan (Editor)
Format: eBook
Language:English
Published: Cham Springer International Publishing 2020, 2020
Edition:1st ed. 2020
Series:Programming and Software Engineering
Subjects:
Compilers (computer Programs)
Compilers And Interpreters
Software Engineering
Computer Science
Logic In Ai.
Application Software
Natural Language Processing (nlp)
Computer And Information Systems Applications
Theory Of Computation
Logic Programming
Natural Language Processing (computer Science)
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
LEADER 02304nmm a2200421 u 4500
001 EB001905673
003 EBX01000000000000001068577
005 00000000000000.0
007 cr|||||||||||||||||||||
008 210104 ||| eng
020 |a 9783030634063 
100 1 |a Lin, Shang-Wei  |e [editor] 
245 0 0 |a Formal Methods and Software Engineering  |h Elektronische Ressource  |b 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings  |c edited by Shang-Wei Lin, Zhe Hou, Brendan Mahony 
250 |a 1st ed. 2020 
260 |a Cham  |b Springer International Publishing  |c 2020, 2020 
300 |a XI, 335 p. 98 illus., 48 illus. in color  |b online resource 
505 0 |a Safety and Security -- Program Verification -- Formal Methods and Machine Learning -- Formal Languages -- Other Applications of Formal Methods 
653 |a Compilers (Computer programs) 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Computer science 
653 |a Software Engineering 
653 |a Logic in AI. 
653 |a Application software 
653 |a Natural Language Processing (NLP) 
653 |a Computer and Information Systems Applications 
653 |a Theory of Computation 
653 |a Logic programming 
653 |a Natural language processing (Computer science) 
700 1 |a Hou, Zhe  |e [editor] 
700 1 |a Mahony, Brendan  |e [editor] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b Springer  |a Springer eBooks 2005- 
490 0 |a Programming and Software Engineering 
028 5 0 |a 10.1007/978-3-030-63406-3 
856 4 0 |u https://doi.org/10.1007/978-3-030-63406-3?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 004.0151 
520 |a This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected from 41 submissions. The papers cover theory and applications in formal engineering methods together with case studies. They also represent the recent development in the use and development of formal engineering methods for software and system development 

Similar Items