Apple
Store
Mac
iPad
iPhone
Watch
AirPods
TV & Home
Entertainment
Zubehör
Support
0
+
Apple Books
Vorschau
Lokale Navigation Menü öffnen
Lokale Navigation Menü schließen
Top-Bücher
Top-Hörbücher
Rupak Majumdar
Bücher
Principles of Systems Design
2022
Networked Systems
2021
Computer Aided Verification
2017
Computer Aided Verification
2017
Runtime Verification
2015
Model Checking Software
2008