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

Detalles Bibliográficos
Autor principal: Yoeli, Michael
Formato: Printed Book
Lenguaje:English
Publicado: New Jersey John Wiley & Sons 2008
Materias:
Integrated circuits - Verification > Computer software - Verification > LOTOS (computer programmes language) > Petri nets

UL

Detalle de Existencias desde UL
Número de Clasificación: 621.3.049.77 YOE
Copia Estatus de actividad no disponible

Ejemplares similares