Program Derivation: The Development Of Programs From Specifications (international Computer Science Series)
by Geoff Dromey /
1989 / English / DjVu
4.7 MB Download
The primary aim of this book is to make the principles of program derivation from specifications accessible to undergraduates early in their study of computing science.
