Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen (Informatik-Fachberichte) (German Edition) (Informatik-Fachberichte, 146, Band 146)