A formal notation for hardware and software verification

Detalles Bibliográficos
Autores principales: Chapman, R, Gabriel, J R
Lenguaje:eng
Publicado: 1986
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/174212

Internet

http://cds.cern.ch/record/174212

Ejemplares similares