Cargando…

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.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Yoeli, Michael, 1917-
Otros Autores: Kol, Rakefet
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Hoboken, N.J. : Wiley-Interscience, ©2008.
Colección:Wiley series on parallel and distributed computing.
Temas:
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)
Search Result 1
por Yoeli, Michael, 1917-
Publicado 2008
Texto completo
Electrónico eBook
Search Result 2
por Yoeli, Michael, 1917-
Publicado 2008
Texto completo
Texto completo
Electrónico eBook