Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung - A. Bode - E-bok | Bokus