Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Полная версия
Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Язык: Английский
Год издания: 2019
Добавлена:
Настройки чтения
Размер шрифта
Высота строк
Поля
Конец ознакомительного фрагмента
Купить и скачать всю книгу