Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS

Name: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS
Rating: 4 (47 reviews)
Author: Michael Yoeli
ISBN: 9780470253397

Michael Yoeli

Жанр: Зарубежная компьютерная литература Программирование

Язык: Английский

Тип: Текст

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

Год издания: 2019

ISBN: 9780470253397

Бесплатный фрагмент: pdf

Полная версия

О книге
Читать