Zeitliche Logik und Zustandssysteme, Hardcover von Kroger, Fred; Merz, Stefan, Li...
102,44 €
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems.
Jetzt bei Ebay:
