Program construction and verification

Saved in:

Bibliographic Details
Main Author:	Backhouse, Roland C. 1948-
Format:	Book
Published:	Englewood Cliffs, N.J. Prentice-Hall International 1986
Subjects:	Electronic digital computers > Programming
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet