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
Einar Broch Johnsen
Bücher
Active Object Languages: Current Research Trends
2024
The Logic of Software. A Tasting Menu of Formal Methods
2022
Software Engineering and Formal Methods
2018
Service-Oriented and Cloud Computing
2017
Tests and Proofs
2017
Service-Oriented and Cloud Computing
2016