E.-R. Olderog - Real-Time Systems: Formal Specification and Automatic Verification - Preis vom 29.11.2024 06:00:35 h