Abstract-State-Machines 1 Motivation 2 Was ist eine Abstract State

Abstract-State-Machines 1 Motivation 2 Was ist eine Abstract State