Foundations of Computer Software More Books by Radu Calinescu & Ethan Jackson

Software Engineering and Formal Methods Software Engineering and Formal Methods
2021
Software Engineering for Resilient Systems Software Engineering for Resilient Systems
2019
Software Engineering and Formal Methods Software Engineering and Formal Methods
2016
Software Engineering and Formal Methods Software Engineering and Formal Methods
2015