Mathematical theory of program correctness

Saved in:

Bibliographic Details
Main Author:	Bakker, J. W. de 1939- Jacobs Willem de
Format:	Unknown
Published:	Englewood Cliffs, N.J. Prentice-Hall International 1980
Series:	Prentice-Hall International series in computer science
Subjects:	Computer programs > Correctness Logic, Symbolic and mathematical
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet