Books by Thomas Göthel
No products found matching the selection.
-20%
Mechanical Verification of Parameterized Real-Time Systems: A Formal Framework and its Application to a Real-Time Operating System Scheduler
€103.50
€129.38
-20% with code BOOKS
In stock at our supplier