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

Guardado en:

Detalles Bibliográficos
Autor principal:	Yoeli, Michael, 1917-
Autor Corporativo:	ebrary, Inc
Otros Autores:	Kol, Rakefet
Formato:	Electrónico eBook
Lenguaje:	inglés
Publicado:	Hoboken, N.J. : Wiley-Interscience, c2008.
Colección:	Wiley series on parallel and distributed computing.
Materias:	Integrated circuits > Verification. Computer software > Verification. LOTOS (Computer program language) Petri nets. Electronic books.
Acceso en línea:	An electronic book accessible through the World Wide Web; click to view
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet