The formal description technique LOTOS: results of the ESPRIT/SEDOS project

Detalles Bibliográficos
Autor principal: Van Eijk, Peter H J
Lenguaje:eng
Publicado: North-Holland 1989
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/205830

Internet

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

Ejemplares similares