Abstract State Machines, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
Variante
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 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).
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
17 Punkte
% Best Deal
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktinfos
Informationen
Lieferzeit:2-4 Werktage
Hersteller:Betascript Publishing