Abstract State Machines, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Eine abstrakte Zustandsmaschine (englisch Abstract State Machine, ehemals auch Evolving Algebra genannt) ist in der Informati... Mehr erfahren
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Eine abstrakte Zustandsmaschine (englisch Abstract State Machine, ehemals auch Evolving Algebra genannt) ist in der Informatik ein Modell zur formalen, operationellen Beschreibung von Algorithmen. Anders als bei endlichen Automaten, deren Zustände lediglich Namen haben, sind die Zustände einer ASM allgemeine mathematische Strukturen. Im Gebiet des Übersetzerbaus dient das Modell der Beschreibung der Semantik des zu übersetzenden Programms und hilft sicherzustellen, dass die Semantik des zu übersetzenden Programms erhalten bleibt (Verifizierung).
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing