Online Library TheLib.net » Author books / Книги автора Robert K. Brayton Gary D. Hachtel Curtis T. McMullen Alberto L. Sangiovanni-Vincentelli (auth.)