Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
верификация оборудования
Связанные издания:
Applied Reconfigurable Computing: Proc./13th International Symposium, ARC 2017, Delft, The Netherlands, April 2017
Computer Aided Verification: Proc./26th International Conference, CAV 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Italy, July 2014
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Tools and Algorithms for the Construction and Analysis of Systems, Part I: Proc./27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 2021