VDM '88 : VDM, the way ahead : 2nd VDM-Europe symposium, Dublin, Ireland, September, 1988 : proceedings /

Guardat en:
Dades bibliogràfiques
Autor corporatiu: VDM '88, Dublin, Ireland, VDM-Europe
Altres autors: Marshall, L., Bloomfield, R., Jones, R. (Roger B.)
Format: Actes de congresos Llibre
Idioma:English
Publicat: Berlin ; New York : Springer-Verlag, c1988.
Col·lecció:Lecture notes in computer science ; 328.
Matèries:
Descripció
Descripció física:ix, 499 p. : ill. ; 24 cm.
Bibliografia:Includes bibliographies.
ISBN:3540502149