Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в...
В монографии анализируются взгляды одного из крупнейших метафизиков западноевропейской философии XVII в. Исследуются основные составляющие философской системы Мальбранша: теория окказиональных причин, гносеологическое учение о "видении всех вещей в Боге", физика, антропология, этика, концепция религии. Идеи Мальбранша рассматриваются на фоне общей истории картезианской школы. Кратко охарактеризовано...
ISBN: 978-5-211-06360-0
Издательство:
Издательство МГУ
Дата выхода: ноябрь 2012
Оставить комментарий