Leslie Lamport: Specifying Concurrent Systems with TLA+
Abschlussbedingungen
Klicken Sie auf den Link 'marktoberdorf.pdf', um die Datei anzuzeigen.