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