Mikroarchitekturen und Mikroprogrammierung: Formale Beschreibung und Optimierung (Informatik-Fachberichte, 82, Band 82) | Myboeken