Opening book details…
Can I read Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science) on EtoBox?
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science) by Yi Li (editor), Sofiène Tahar (editor) is a nonfiction available to read on EtoBox.
What is Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science) about?
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21–24, 2023. The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.
Who reads Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November ... (Lecture Notes in Computer Science)?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Yi Li (editor), Sofiène Tahar (editor)
- Publisher
- SPRINGER VERLAG, SINGAPOR
- Published
- 2023
- Language
- EN
- ISBN
- 9789819975846
- Category
- nonfiction
- Subjects
- Computer Science, Engineering, Science
More by Yi Li (editor), Sofiène Tahar (editor)
Browse all works by Yi Li (editor), Sofiène Tahar (editor)
Similar books
- Formal Methods and Software Engineering : 19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings — Luke Ong Zhenhua Duan (2017)
- Formal Methods And Software Engineering: 7th International Conference On Formal Engineering Methods, Icfem 2005, Manchester, Uk, November 1-4, 2005 : Proceedings 7th International Conference On Formal Engineering Methods International Conference On Formal Engineering Methods Icfem 2005 — Anthony Hall (auth.), Kung-Kiu Lau, Richard Banach (2005)
- Formal Methods and Software Engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings — Yamine Aït-Ameur; Shengchao Qin (2019)
- Formal methods and software engineering : 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings — Stephan Merz and Jun Pang (2014)
- Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings — Marieke Huisman; Corina Păsăreanu; Naijun Zhan (2021)
- Information Security and Privacy: 20th Australasian Conference, ACISP 2015, Brisbane, QLD, Australia, June 29 -- July 1, 2015, Proceedings (Lecture Notes in Computer Science (9144)) — Douglas Stebila Ernest Foo (2015)