Mathematical theory of program correctness

Saved in:

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

Internet