Szczegóły książki
Format
Kindle
Strony
991
Język
Angielski
Opublikowany
Dec 2, 2021
Wydawca
Springer
Opis
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.
Gatunki
Nauka i Technologia