Foundations of Computer Software Plus de livres par 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