Filter by
Software Engineering and Formal Methods: 20th International Conference, SEFM …
This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-17108-6
- Collation
- xvii, 369p.: Ill
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 005.437 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