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

Detalles Bibliográficos
Autor principal: Yoeli, Michael
Lenguaje:English
Publicado: New Jersey John Wiley & Sons 2008
Materias:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets
Descripción
Notas:
Descripción Física:xv,231p
ISBN:9780471704492

Ejemplares similares