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
Peter Csaba Ölveczky
Books
Theoretical Aspects of Computing – ICTAC 2021
2021
Software Engineering and Formal Methods
2019
Formal Techniques for Safety-Critical Systems
2019
Formal Aspects of Component Software
2018
Designing Reliable Distributed Systems
2018
Formal Techniques for Safety-Critical Systems
2017