Le nozioni fondamentali della progettazione logica dei sistemi digitali su cui si basano gli strumenti di sviluppo automatico, con particolare riferimento alle tecniche esatte ed euristiche.

Questo libro si propone di illustrare la configurazione e l'utilizzo dei switch di casa Huawei, la società cinese oggi tra i principali attori nel mercato globale dei produttori di hardware e software per la trasmissione dati.