Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen
Damm, Werner
Wird für Sie besorgt.
Integration of Software Specification Techniques for Applications in Engineering
Agility für Fortgeschrittene