Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Entertainment
Accessories
Support
0
+
Apple Books
Preview
Local Nav Open Menu
Local Nav Close Menu
Top Books
Top Audiobooks
Software Engineering and Formal Methods
More Books by Domenico Bianculli, Radu Calinescu & Bernhard Rumpe
Software Engineering and Formal Methods
2025
Software Architecture. ECSA 2025 Tracks and Workshops
2025