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
Antonio Cerone
Books
Formal Methods for an Informal World
2023
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops
2022
Formal Methods for Software Engineering
2022
Theoretical Aspects of Computing – ICTAC 2021
2021
Formal Methods – Fun for Everybody
2021
Software Engineering and Formal Methods
2020