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
Gwen Salaün
Books
Formal Aspects of Component Software
2021
Software Engineering and Formal Methods
2019
Software Technologies: Applications and Foundations
2018
Formal Methods for Industrial Critical Systems
2011