Normal view MARC view ISBD view

Formal methods for real-time computing

Sin autor

Formal methods for real-time computing - Repr. ed. - Chichester : [S.n.], 1996 - xvii, 271 p. : il. ; 24 cm. - Trends in Software 5 .

ISBN: 0471958352

Standard No.: DIF-M454

Subjects--Topical Terms:
MÉTODOS FORMALES
DESARROLLO DE SOFTWARE
SISTEMAS DE TIEMPO REAL

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