Program derivation the development of programs from specifications

Program derivation the development of programs from specifications

Bibliografiske detaljer
Hovedforfatter: Dromey, R. G. 1946-
Format: Bog
Sprog:English
Udgivet: Sydney Addison-Wesley c1989.
Serier:International computer science series
Fag:
Electronic digital computers > Programming.