The formal development method VDM

Detalles Bibliográficos
Autores principales: Lourens, W, Balke, A C, Haveman, J, Carter, J
Lenguaje:eng
Publicado: 1994
Materias:
Detectors and Experimental Techniques
Acceso en línea:http://cds.cern.ch/record/280109

Internet

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

Ejemplares similares