Filter by
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFM…
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 pre…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-12429-7
- Collation
- xi, 350p.: Ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.11 Sof
Formal Methods for Software Engineering: Languages, Methods, Application Domains
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as…
- Edition
- 1
- ISBN/ISSN
- 978-3-030-38800-3
- Collation
- xxviii, 524p.: Ill.
- Series Title
- Texts in Theoretical Computer Science. An EATCS Series
- Call Number
- 005.437 Rog f
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography