Program derivation the development of programs from specifications

Program derivation the development of programs from specifications

Bibliografske podrobnosti
Glavni avtor: Dromey, R. G. 1946-
Format: Knjiga
Jezik:English
Izdano: Sydney Addison-Wesley c1989.
Serija:International computer science series
Teme:
Electronic digital computers > Programming.