Michael Yoeli
Список книг автора Michael Yoeli

    Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Michael Yoeli
    Читать Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS - Michael Yoeli

    Название: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

    Автор: Michael Yoeli

    Издательство: John Wiley & Sons Limited

    Жанр: Программирование

    Серия:

    Подробнее