Retour au livre
— Modelling and Synthesis of Digital Systems