Verification of systems and circuits using LOTOS, Petri Nets, and CCS /
A Step-by-Step Guide to Verification of Digital Systems. This practical book provides a step-by-step, interactive introduction to formal verification of systems and circuits. The book offers theoretical background and introduces the application of.
| Основен автор: | Yoeli, Michael, 1917- |
|---|---|
| Други автори: | Kol, Rakefet. |
| Формат: | Електронна книга |
| Език: | English |
| Публикувано: |
Hoboken, N.J. :
Wiley-Interscience,
℗♭2008.
|
| Серия: |
Wiley series on parallel and distributed computing.
|
| Предмети: | |
| Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=225556 |
| Подобни документи: |
Print version::
Verification of systems and circuits using LOTOS, Petri Nets, and CCS. |
| Онлайн достъп от Библиотека ”Паница” на Американския университет в България: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=225556 |
|---|
| Провери в Paniza Library, AUBG | Сигнатура: |
TK7874.58 .Y64 2008eb |
|---|