Formal methods in computer system design

Detalles Bibliográficos
Autor principal: Hoare, C A R
Lenguaje:eng
Publicado: CERN 1989
Materias:
XX
Acceso en línea:https://dx.doi.org/10.5170/CERN-1989-006.1
http://cds.cern.ch/record/367501
Descripción
Descripción no disponible.

Ejemplares similares