Willkommen, schön sind Sie da!
Logo Ex Libris

Abstract State Machines

  • Kartonierter Einband
  • 80 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
High Quality Content by WIKIPEDIA articles! Eine abstrakte Zustandsmaschine (englisch Abstract State Machine (ASM), ehemals auch E... Weiterlesen
20%
38.60 CHF 30.90
Auslieferung erfolgt in der Regel innert 3 bis 4 Werktagen.

Beschreibung

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).

Produktinformationen

Titel: Abstract State Machines
Editor:
EAN: 9786130515805
Format: Kartonierter Einband
Genre: Mathematik
Anzahl Seiten: 80

Bewertungen

Gesamtübersicht

Meine Bewertung

Bewerten Sie diesen Artikel