Abstract State Machines

CHF 43.15
Auf Lager
SKU
VJ988HB1TGJ
Stock 1 Verfügbar
Geliefert zwischen Do., 22.01.2026 und Fr., 23.01.2026

Details

High Quality Content by WIKIPEDIA articles! Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch Evolving Algebra (EVA) 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 es hilft sicherzustellen, dass die Semantik des zu übersetzenden Programms erhalten bleibt (Verifizierung).

Weitere Informationen

  • Allgemeine Informationen
    • GTIN 09786130515805
    • Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
    • EAN 9786130515805
    • Format Fachbuch
    • Titel Abstract State Machines
    • Herausgeber Betascript Publishing
    • Anzahl Seiten 80
    • Genre Mathematik

Bewertungen

Schreiben Sie eine Bewertung
Nur registrierte Benutzer können Bewertungen schreiben. Bitte loggen Sie sich ein oder erstellen Sie ein Konto.
Made with ♥ in Switzerland | ©2025 Avento by Gametime AG
Gametime AG | Hohlstrasse 216 | 8004 Zürich | Schweiz | UID: CHE-112.967.470