Verification of systems and circuits using LOTOS, Petri Nets, and CCS

Mostrar otras versiones (2)
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, c2008.
Colección:Wiley series on parallel and distributed computing.
Temas:
Integrated circuits > Verification.
Computer software > Verification.
LOTOS (Computer program language)
Petri nets.
Electronic books.
Acceso en línea:Texto completo

Internet

Texto completo

Error inesperado del formato de respuesta.
Detalle de Existencias desde

Ejemplares similares