Normal view MARC view ISBD view

Systematic software development using VDM

Jones, Cliff B.

Systematic software development using VDM - 2nd ed. - Nueva York : [S.n.], c1990 - xiv, 333 p. ; 23 cm. - Prentice Hall International series in computer science .

Incluye bibliografía.

ISBN: 0138807337

Standard No.: DIF-M525

Subjects--Topical Terms:
DESARROLLO DE SOFTWARE
MÉTODOS FORMALES
VDM

Place hold
Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD