Vissza a könyvhöz— Digitális rendszerek modellezése és szintézise