Program derivation the development of programs from specifications

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