Slični predmeti: Eine formale algorithmische Synthese digitaler Schaltungen