3rd International Symposium of VDM Europe

Detalles Bibliográficos
Autores principales: Hoare, Charles Antony Richard, Langemaack, H, Bjørner, Dines
Lenguaje:eng
Publicado: Springer 1990
Materias:
Computing and Computers
Acceso en línea:http://cds.cern.ch/record/211758

Internet

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

Ejemplares similares