The VDM-SL Reference Guide.

Título:
The VDM-SL Reference Guide.
Autor:
Dawes , John
Materia:
Computer Science
Editor:
CRC Press
Descripción:
200 p.
Identificadores:
ISBN: 9780429180873
Colección:
Taylor Francis