Apple
Mac
iPad
iPhone
Watch
AirPods
TV
Entertainment
Support
Where to Buy
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Radu Calinescu
Books
Software Engineering and Formal Methods
2021
Software Engineering for Resilient Systems
2019
Software Engineering and Formal Methods
2016
Software Engineering and Formal Methods
2015
Foundations of Computer Software
2011