Zeitlogik und Zustandssysteme, Hardcover von Kroger, Fred; Merz, Stefan, Br...
100,68 €
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:
