책 세부 정보
형식
킨들
페이지
991
언어
영어
출판됨
Dec 2, 2021
출판사
Springer
설명
The proceedings from the 19th International Conference on Software Engineering and Formal Methods delve into the latest advancements and challenges in the field. Taking place virtually, this collection showcases a range of research contributions that highlight innovative methodologies and tools designed to improve software reliability and correctness.
Experts in the domain, Radu Calinescu and Corina S. Pasareanu, curate a selection of papers that reflect cutting-edge developments, fostering discussions that pave the way for future explorations. This compilation serves as a vital resource for researchers and practitioners eager to enhance their understanding of software engineering practices and formal methods.
Experts in the domain, Radu Calinescu and Corina S. Pasareanu, curate a selection of papers that reflect cutting-edge developments, fostering discussions that pave the way for future explorations. This compilation serves as a vital resource for researchers and practitioners eager to enhance their understanding of software engineering practices and formal methods.
장르들
과학 & 기술