Program derivation the development of programs from specifications

Podrobná bibliografie
Hlavní autor:	Dromey, R. G. 1946-
Médium:	Kniha
Jazyk:	English
Vydáno:	Sydney Addison-Wesley c1989.
Edice:	International computer science series
Témata:	Electronic digital computers > Programming.